A Methodology for Protocol Engineering. - Geoffrey R. Wheeler; Timothy J. Batten; Jonathan Billington; Michael C. Wilbur-Ham (ICCC, 1986)