Thedesign of well-structures and correct programs - Alagić, Suad; Arbib, Michael A. (rz1, 1978)