Projektirovanije korrektnych strukturirovannych programm - Alagic, Suad; Arbib, Michael A. (rz1, 1984)