Equational Logic as a Programming Language (1985)

by M J O’Donnell