"Abstract State Machines, Theory and Applications, ASM 2000" - читать интересную книгу автора (Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele)