Дюбко, Г. Ф.; Дзёх, М. Ю.; Преснякова, Д. В. SOME ASPECTS OF FORMALIZATION OF THE DEFINITION DICTIONARY WITH APPLICATION λ-CALCULATION. EEJET 2010, 4, 4-8.