A formal approach to the desin and implementation of network communication protocol. - Albert Y. Teng; Ming T. Liu (COMPSAC, 1978)