Evolving Algebras 1993: Lipari Guide, Specification and Validation (1995)

by Y Gurevich