Derek Coleman, Robin Gallimore, and Victoria Stavridou. "The design of a rewrite rule interpreter from algebraic specifications" IEE Software Engineering Journal, July:95-104, 1987.

Languages mentioned

• UMIST-OBJ {1987}