"Protocols by Invariants " - читать интересную книгу автора (Anneke A. Schoone)