1. Y. Gurevich. Evolving Algebras 1993: Lipary Guide. In: Börger, E., ed., Specification and Validation Methods, Oxford University Press, 1995, pp. 9–36.
2. Y. Gurevich. May 1997 Draft of the ASM Guide. University of Michigan EECS Departmental Technical Report CSE-TR-336-97 (available electronically from
http://www.eecs.umich.edu/gasm/
).
3. A.V. Zamulin. Object-Oriented Abstract State Machines. Proc. ASM workshop, Magderburg, Germany, 21-22 September, 1998, pp. 1–21 (available electronically from
http://www.eecs.umich.edu/gasm/
).
4. D.R. Musser and A. Saini. STL Tutorial and Reference Guide. Addison-Wesley, 1996.
5. Broy, M., Facchi, C., Grosu, R., ea. The Requirement and Design Specification Lan-guage Spectrum, An Informal Introduction, Version 1.0. Technische Universitaet Muenchen, Institut fuer Informatik, April 1993.