Mathematical Aspects of Computer Science 

 - Lincoln  American Mathematical Society  1967