Дюбко, Г. Ф., М. Ю. Дзёх, and Д. В. Преснякова. “SOME ASPECTS OF FORMALIZATION OF THE DEFINITION DICTIONARY WITH APPLICATION λ-CALCULATION”. Eastern-European Journal of Enterprise Technologies, vol. 4, no. 2(46), July 2010, pp. 4-8, doi:10.15587/1729-4061.2010.2919.