"Abstract state machines A method for high level system design and analysis" - читать интересную книгу автора (Egon Börger, Robert Stärk)