"Design And Validation Of Computer Protocols " - читать интересную книгу автора (Gerard J. Holzmann)