Projektirovanije korrektnych strukturirovannych programm. - ALAGIC, S.; ARBIB, M. A. (1984)