"Abstract State Machines, B and Z, 1 conf., ABZ 2008" - читать интересную книгу автора (Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca)