Michel Diaz Jean-Pierre Courtiat Aloysio Pedroza Design, Specification and Validation of Hierarchies of Protocols in Distributed Systems. 208-265 1986 Current Trends in Concurrency db/books/collections/Trends86.html#DiazCP86 books/sp/Trends1986