Equational Logic as a Programming Language. Foundations of Computing (1985)

by Michael J O'Donnell