Application of Formal Description Techniques to Conformance Evaluation. - Jean Philippe Favreau; Richard J. Linn Jr.; Philip Gaudette (FORTE, 1988)

An Object-Oriented Model for ASN.1. - Philip Gaudette; Steve Trus; Sarah Collins (FORTE, 1988)

An Object-Oriented Model for Estelle. - Rachid Sijelmassi; Philip Gaudette (FORTE, 1988)