EQUATIONAL LOGIC AS A PROGRAMMING LANGUAGE - O'Donnell, Michael J. (Cambridge Mit Pr., 1985)
Keywords: Programming Languages (Electronic Computers); Logic, Symbolic And Mathematical; Equations, Theory Of