Г. Ф. Дюбко, М. Ю. Дзёх, and Д. В. Преснякова, “SOME ASPECTS OF FORMALIZATION OF THE DEFINITION DICTIONARY WITH APPLICATION λ-CALCULATION”, EEJET, vol. 4, no. 2(46), pp. 4–8, Jul. 2010.