Automatic Generation of Communication Protocols - Rosenburg, Bryan S (University of Wisconsin-Madison Department of Computer Sciences, 1986)