"Abstract state machines: A method for high-level system design and analysis" - читать интересную книгу автора (Egon Boerger, Robert Staerk)