Bockmayr A.M. Beitrage zur Theorie des logischfunktionalen Programmierens : Diss. / A.M.Bockmayr, 1990. - 127 S. - Текст : непосредственный.