The formalization and analysis of CCR protocol and service. - Bairong Zhang; Alistair Munro; Michael Barton (FORTE, 1994)

Formal specification and verification of OSI protocols. - Bairong Zhang (1996)