Rewrite Rules with Conditions for Algebraic Specifications

Richard Göbel. Rewrite Rules with Conditions for Algebraic Specifications. In ADT. 1983.

Abstract

Abstract is missing.