Bas Luttik, Eelco Visser. Specification of Rewriting Strategies. In M. P. A. Sellink, editor, 2nd International Workshop on the Theory and Practice of Algebraic Specifications (ASF+SDF 1997). Electronic Workshops in Computing, Springer-Verlag, Berlin, November 1997.
No references recorded for this publication.
No citations of this publication recorded.