Evolving Algebras. A Tutorial Introduction (1991)

by Y Gurevich
Venue:Bulletin of EATCS