Sistemnoje i teoretičeskoje programmirovanije. Vyp. 93, Matematičeskije issledovanija - Pečerskij, J. N. (Kišinev : Štiinca, 1987)