A Grammar-Based Methodology for Protocol Specification and Implementation - Anderson, David P (University of Wisconsin-Madison Department of Computer Sciences, 1985)