Anureev I. Maryasov I. Mikhailov I. Method of the development of ontological operational semantics for imperative programming languages // Computer Science. — 2016 . — # 40.  — P. 15–35
Zamulin A. Modularization of typed Gurevich machines // Computer Science. — 2000 . — # 13.  — P. 105-116
Zamulin A. Typed Gurevich machines revisited // Computer Science. — 1997 . — # 7.  — P. 95-121
Subscribe to abstract state machines