O'Donnell, M.J. "Equational Logic as a Programming Language", MIT Press 1985

Languages mentioned

• ELP {1975}