1-3 of 3 Books
Initial computability, algebraic specifications, and partial algebras
By Horst Reichel
Elements of functional programming
By Chris Reade
Mathematical methods of specification and synthesis of software systems '85
By W. Bibel