The theory of computer science : a programming approach - Brady, J. M. (Chapman and Hall ; Wiley : distributed in the U.S.A. by Halsted Press, 1977)