1. Gurevich, Y.: Evolving algebras 1993: Lipari Guide. In: Egon, B. (ed.) Specification and Validation Methods, pp. 9–36. Oxford University Press, Oxford (1995)
2. Beauquier, D., Slissenko, A.: A first order logic for specification of timed algorithms: Basic properties and a decidable class. Annals of Pure and Applied Logic 113, 13–52 (2002)
3. Beauquier, D., Slissenko, A.: Periodicity based decidable classes in a first order timed logic (Annals of Pure and Applied Logic), 38 pages (to appear)
4. Gurevich, Y.: Sequential abstract-state machines capture sequential algorithms. ACM Transactions on Computational Logic 1, 77–111 (2000)
5. Huggins, J.: University of Michigan, ASM homepage,
http://www.eecs.umich.edu/gasm/