Zamulin A. Typed ASMs with updateable locations as values // Computer Science. — 2001 . — # 15.  — P. 137-157
Zamulin A. Typed Gurevich machines revisited // Computer Science. — 1997 . — # 7.  — P. 95-121
Subscribe to implicit state