Equational logic as a programming language - O'Donnell, Michael J., 1952- (MIT Press series in the foundations of computing, 1985)