Rewrite Rules with Conditions for Algebraic Specifications

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

No reviews for this publication, yet.