The design of well-structured and correct programs - Alagi'c, Suad, 1946-; Arbib, Michael A. (New York : Springer-Verlag, 1978)
Portions of the material, in rather different form, appeared in Alagi c's Serbo-Croation text Prinicipi programiranja
Bibliography : p. 249 -252
Keywords: Electronic digital computers -- Programming; Pascal (Computer program language)