1. Report on the functional programming language Haskell, Version 1.2;Hudak;ACM SIGPLAN Notices
2. An Initial Algebra Approach to the Specification, Correctness, and Implementation of Abstract Data Types;Goguen,1978
3. Recursive functions of symbolic expressions and their computation by machine;McCarthy;Commun. ACM