Bezem M.A. Extensionality of simply typed logic programs / M.A.Bezem, 1999. - 13 p. - Текст : непосредственный.
Apt K.R. Formulas as programs / K.R.Apt,M.A.Bezem, 1998. - 26 p. - Текст : непосредственный.
Bezem M.A. Metrics for classifying heterogeneous objects / M.A.Bezem,K.Blok,M.Keijzer, 1998. - 12 p. - Текст : непосредственный.