New Results on Deriving Protocol Specifications from Service Specifications. - Ferhat Khendek; Gregor von Bochmann; Christian Kant (SIGCOMM, 1989)

Deriving Protocol Specifications from Service Specifications Written in LOTOS. - Christian Kant; Teruo Higashino; Gregor von Bochmann (Distributed Comput., 1996)