Norio ShiratoriBooksFormal description techniques and protocol specification, testing and verificationProtocol Test SystemsAuthor data: Open Library