1. Formal specification of an information gateway service interface in Estelle;Saleh;Computer Standards and Interfaces,1994
2. Protocol conversion;Green;IEEE Trans. on Communications,1986
3. Protocol conversion;Lam;IEEE Trans. on Software Eng.,1988
4. M.T. Liu, Protocol conversion, Proc. Int. Comput. Symp., December 1990, pp. 28–92.
5. Construction of protocol converters using formal methods;Peyravian;Computer Communications,1993