Towards analyzing and synthesizing protocols (1980)

by P Zafiropulo, C H West, H Rudin, D D Cowan
Venue:IEEE Tr. Comm. COM-28