"Abstract state machines: Solutions to exercises" - читать интересную книгу автора (Egon Boerger, Robert Staerk)