Evolving Algebras: A tutorial introduction (1991)

by Y Gurevich
Venue:Bulletin of EATCS