Gosudarstvennaja biblioteka im. Sečeni. (Budapest : Vengerskaja nacional´naja biblioteka im. Sečeni, 1972)