Equational Logic as a Programming Language - Michael J, ODonnell (The MIT Press, 1988)
Keywords: Equational Logic as a Programming Language Michael J, ODonnell,Computer,Logic,Symbolic and Mathematical