Design of well-structured and corret programs - Alagic Suad; Arbib M A (N Y Springer Verlag, 1978)
Keywords: Computer design; Computer programming