Springer Verlag, Berlin, 1993. 6 Yuri Gurevich and James K. Huggins. Evolving Algebras and Partial Evaluation. Elsevier, Amsterdam, 1994. 7 Yuri Gurevich and James K. Huggins.
Equivalence is in the eye of the beholder.
University of Michigan EECS Department Technical Report is coming, to be submitted to Theoretical Computer Science. Yet Another Specification and Verification. In E. Boerger, editor, Specification and Validation Methods . Oxford University Press, 1995. Evolving Algebras from First Principles Lecture 1.