Zamulin A. Algebraic semantics of an imperative programming language as a compiler abstract model // Computer Science. — 2004. — # 20 — P. 113-128
Zamulin A. Typed ASMs with updateable locations as values // Computer Science. — 2001. — # 15 — P. 137-157
Zamulin A. Modularization of typed Gurevich machines // Computer Science. — 2000. — # 13 — P. 105-116
Zamulin A. Object-Oriented Specification by Typed Gurevich Machines // Computer Science. — 1998. — # 8 — P. 101-127