Enviar aquest missatge de text: Design and validation of computer protocols / Gerard J. Holzmann.