David Gries The Science of Programming - New York Springer 1981 - 366p ISBN: 9780387964805 Dewey Class. No.: 001.642 DAV