Jürgen Avenhaus Klaus Becker A Framework for Operational Equational Specifications with Pre-defined Structures. 271-310 1999 27 J. Symb. Comput. 3 db/journals/jsc/jsc27.html#AvenhausB99