"Design and Validation of Computer Protocols (Prentice Hall Software Series)" - читать интересную книгу автора (Gerard Holzmann)