Evolving algebras: An attempt to discover semantics (1993)

by Y Gurevich
Venue:Current Trends in Theoretical Computer Science