1. The AsmL webpage,
http://research.microsoft.com/foundations/AsmL/
2. Bjoerner, D., Jones, C.B. (eds.): Formal Specification and Software Development. Prentice-Hall International, Englewood Cliffs (1982)
3. Boerger, E., Staerk, R.: Abstract State Machines: A Method for High- Level System Design and Analysis. Springer, Heidelberg (2003)
4. Foundations of Software Engineering group, Microsoft Research,
http://research.microsoft.com/fse/
5. Gurevich, Y.: Evolving Algebra 1993: Lipari Guide. In: Boerger, E. (ed.) Specification and Validation Methods, pp. 9–36. Oxford University Press, Oxford (1995)