Protocol Testing Using A Reference Implementation. - J. Stephen Nightingale (PSTV, 1982)

Some Experience with Testing Tools for OSI Protocol Implementations. - Richard J. Linn Jr.; J. Stephen Nightingale (Protocol Specification, Testing, and Verification, 1983)

A Formal Multi-Layer Test Methodology and its Applications to OSI. - Jean Philippe Favreau; Richard J. Linn Jr.; J. Stephen Nightingale (FORTE, 1989)

Lessons From the Establishment of U.S. GOSIP Testing Program. - Jean Philippe Favreau; J. Stephen Nightingale (Protocol Test Systems, 1991)