1. Protocol verification made simple: a tutorial;Gouda;Computer Networks and ISDN Systems,1993
2. Design and validation of protocols: a tutorial;Horlzman;Computer Networks and ISDN Systems,1993
3. S. Aggarwal, B. Gopinath (Eds.), Special Issue on Tools for Computer Communication Systems, IEEE Transactions on Software Engineering, vol. 14, no. 4, 1988.
4. M.T. Liu (Ed.), Special Issue on Protocol Engineering, IEEE Transactions on Computers, vol. 40, no. 4, 1991.