ALAGIC, Suad Arbib, Michael A. The Design of well-structured and correct programs /[by] Suad Alagic, Michael A.Arbib - New York Springer-Verlag 1978 - x, 292 p. Includes index. ISBN: 387902996 Dewey Class. No.: 519.94 / ALA