Equational logic as a programming language - O'Donnell, Michael J. (Massachusetts Institute of Technology Cambridge Mass., 1985)