A Formal Specification Technique for Communication Protocol.

Li Layuan A Formal Specification Technique for Communication Protocol. 74-81 1989 INFOCOM db/conf/infocom/infocom1989-1.html#Layuan89