… Algebraic specifications whose signatures (abstract-syntax) have a mapping … in terms of these pictures are introduced as visual algebraic specifications … representations. As is usual for algebraic specifications, we use term rewriting …
In Advances in Computing Science ? ASIAN'97. Lecture Notes in Computer Science, Springer, Berlin / Heidelberg, 1997. [doi]… to term rewrite systems without lists is described by means of an algebraic specification. To make as much of the specification reusable the specification is written in a style called {\em Combinatory Algebraic Specification …
Master's thesis, Department of Computer Science, University of Amsterdam, Amsterdam, June 1993.