Communication protocols in a network context. - André A. S. Danthine; Joseph Bremer (SIGCOMM/SIGOPS Workshop on Interprocess Communications, 1975)

An Axiomatic Description of the Transport Protocol of Cyclades. - André A. S. Danthine; Joseph Bremer (Rechnernetze und Datenfernverarbeitung, 1976)

Modelling and Verification of End-to-End Transport Protocols. - André A. S. Danthine; Joseph Bremer (Comput. Networks, 1978)