"Specifying systems: errata" - читать интересную книгу автора (Lamport L.)