Sigram Schindler, Jochen Didier, Michael Steinacker. Design and Formal Specification of an X.25 Packet Level Protocol Implementation. In The IEEE Computer Society's Second International Computer Software and Applications Conference, COMPSAC 1978, 13-16 November, 1978, Chicago, Illinois, USA. pages 686-691, IEEE, 1978. [doi]
Abstract is missing.