Automated Protocol Validation: One Chain of Development. - Harry Rudin; Colin H. West; Pitro Zafiropulo (Comput. Networks, 1978)

An Automated Technique of Communications Protocol Validation. - Colin H. West (IEEE Trans. Commun., 1978)

Executable Description and Validation of SNA. - Gary D. Schultz; David B. Rose; Colin H. West; James P. Gray (IEEE Trans. Commun., 1980)

Towards Analyzing and Synthesizing Protocols. - Pitro Zafiropulo; Colin H. West; Harry Rudin; D. D. Cowan; Daniel Brand (IEEE Trans. Commun., 1980)

Applications and Limitations of Automated Protocol Validation. - Colin H. West (PSTV, 1982)

An Improved Protocol Validation Technique. - J. Rubin; Colin H. West (Comput. Networks, 1982)

A Validation Technique for Tightly Coupled Protocols. - Harry Rudin; Colin H. West (IEEE Trans. Computers, 1982)

A Validation of the OSI Session Layer Protocol. - Colin H. West (Comput. Networks, 1986)

Protocol Validation in Complex Systems. - Colin H. West (SIGCOMM, 1989)

The first ten years, the next ten years. - Colin H. West (PSTV, 1990)

Protocol Validation - Principles and Applications. - Colin H. West (Comput. Networks ISDN Syst., 1992)

The Challenges Facing Formal Description Techniques. - Colin H. West (FORTE, 1993)

Experiences with a Random Test Driver. - Colin H. West; Angelo Tosi (Comput. Networks ISDN Syst., 1995)

Proxy PNNI Augmented Routing (Proxy PAR). - Tony Przygienda; Patrick Droz; Colin H. West (Telecommun. Syst., 1999)

Some notes on the history of protocol engineering. - Gregor von Bochmann; Dave Rayner; Colin H. West (Comput. Networks, 2010)