Alagić, Suad The design of well-structured and correct programs / Suad Alagić and Michael A. Arbib. - Springer-Verlag, [1978]. - x, 292 p. - Texts and monographs in computer science . Bibliography: p. 249-252. Subjects--Index Terms: კომპიუტერული ტექნოლოგიები კომპიუტერული პროგრამირება Universal Decimal Class. No.: 004.42