Design and Formal Specification of an X.25 Packet Level Protocol Implementation. - Sigram Schindler; Jochen Didier; Michael Steinacker (COMPSAC, 1978)