Văn bản này: Design and validation of computer protocols / Gerard J. Holzmann.