The design of a rewrite rule interpreter from algebraic specifications

Derek Coleman, Robin M. Gallimore, Victoria Stavridou. The design of a rewrite rule interpreter from algebraic specifications. IEE Proceedings - Software, 2(4), 1987. [doi]

Abstract

Abstract is missing.