X.25 Protocol Verification Facility for AT&T No.1 Packet Switching System (No. 1 PSS). - Mostafa Hashem Sherif; V. Miller; E. Woo (PSTV, 1984)