"Abstract State Machines, Advances in Theory and Practice, 10 conf., ASM 2003" - читать интересную книгу автора (Egon Börger, Angelo Gargantini, Elvinia Riccobene)