Towards Analyzing and Synthesizing Protocols. - Pitro Zafiropulo; Colin H. West; Harry Rudin; D. D. Cowan; Daniel Brand (IEEE Trans. Commun., 1980)