Towards a Semantic Theory for Equational Programming Languages

Satish R. Thatte. Towards a Semantic Theory for Equational Programming Languages. In LISP and Functional Programming. pages 332-342, 1986.