Yuri Gurevich and James K. Huggins. Evolving Algebras and Partial Evaluation. Technology and Foundations, pages 587-592. Elsevier, Amsterdam, 1994. 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. Egon B rger, Yuri Gurevich, and Dean Rosenzweig. Yet Another Specification and Verification. In E. Boerger, editor, Specification and Validation Methods . Oxford University Press, 1995.