Introduction to Functional Programming 

 -  Prentice Hall,  1988 
 - 296 
<br/><br/> The book emphasizes and develops important mathematical techniques for reasoning about programs and for deriving programs from their specifications.  Preface, Fundamental Concepts, Basic Data Types, Lists, Examples, Recursion and Induction, Efficiency, Infinite Lists, New Types, Trees, Bibliography, Index. 
<br/><br/><label>ISBN: </label>134841972