1. Plotkin, G.D., A Structural Approach to Operational Semantics, Tech. Rep. DAIMI FN-19, Computer Science Department, Aarhus University, Aarhus, Denmark, 1981.
2. Gurevich, Y., Abstract State Machines: An Overview of the Project in “Foundations of Information and Knowledge Systems,” Lecture Notes Comput. Sci., 2004, vol. 2942, pp. 6–13.
3. Gurevich, Y., Evolving Algebras 1993: Lipari Guide, in: Specification and Validation Methods, New York: Oxford University Press, 1995, pp. 9–36.
4. Anureev, I.S., Ontological Transition Systems, Joint NCC&IIS Bull. Ser. Comput. Sci., 2007, vol. 26, pp. 1–17.
5. Anureev, I.S., A Language of Actions in Ontological Transition Systems, Joint NCC&IIS Bull. Ser. Comput. Sci., 2007, vol. 26, pp. 19–38.