D. Rayner: Towards an Objective Understanding of Conformance. Protocol Specification, Testing, and Verification 1983: 493-503