Foundations of computer science. - Carberry, M. S. (Computer software engineering series, 1979)