1. Li Layuan. A formal specification technique for communication protocols. InProc. IEEE INFOCOM, 1989
2. Leo Caccian, Cmar Rafiq. Validation of protocols with temporal constraints.Comput. Commun., 1996, 10(14): 1188–119.
3. Li Layuan. Theory and Technology of LAN. Beijing: Defence Industry Press, 1997, pp. 271–312.
4. Li Layuan. The routing communication protocol for dynamic and large computer networks.Chinese Journal of Computers, 1998, 21(2): 137–144.
5. Li Layuan. A hybrid formal description method based on FSM, CSP and ADT for communication protocol.Journal of Syst: Eng. & Electro, 1998, 9(3): 29–38.