Zartmann F. Denotationelle Analysen funktional-logischer Programme : Diss. / F.Zartmann, 1999. - 173 S. - Текст : непосредственный.