Desing of well-structured and correct programs - Alagic J Ed.; Arbib M A Ed. (New York Springer-Verlag, 1978)
Keywords: Computer programming language; Computer science