Specification and Implementation of a Protocol Standard. - Thomas P. Blumer; John C. Burruss (COMPCON, 1982)

Generating a Service Specification of a Connection Management Protocol. - Thomas P. Blumer; John C. Burruss (PSTV, 1982)

A Formal Specification Technique and Implementation Method for Protocols. - Thomas P. Blumer; Richard L. Tenney (Comput. Networks, 1982)

Experience with an Automated Protocol Development System. - Thomas P. Blumer; Deepinder P. Sidhu (Protocol Specification, Testing, and Verification, 1983)

Some problems with the specification of the Military Standard Transmission Control Protocol. - Deepinder P. Sidhu; Thomas P. Blumer (RFC, 1985)

Verification of NBS Class 4 Transport Protocol. - Deepinder P. Sidhu; Thomas P. Blumer (IEEE Trans. Commun., 1986)

Mechanical Verification and Automatic Implementation of Communication Protocols. - Thomas P. Blumer; Deepinder P. Sidhu (IEEE Trans. Software Eng., 1986)

Automated Verification of the Connection Management Aspects of the IEEE 802.2 Logical Link Control Protocol. - Thomas P. Blumer; Deepinder P. Sidhu (IEEE Trans. Commun., 1987)

Semi-Automatic Implementation of OSI Protocols. - Deepinder P. Sidhu; Thomas P. Blumer (Comput. Networks ISDN Syst., 1989)

Experience with formal methods in protocol development. - Deepinder P. Sidhu; Anthony Chung; Thomas P. Blumer (Comput. Commun. Rev., 1991)