Forouzan A.,, "Data Communication & Networking View Artical
Kurose, James F., and Ross Keith W, "Computer Networking- A topdown approach featuring the Internet", 3rd Edition, Pearson Education, New Delhi ,2005 View Artical
Simith, Jean E, "Research Challenges For the next generation Internet", Computing Research Association ,1997 View Artical
Sidhu D. Chung, Anthony and Blumer Thomas P, "Experience with Formal Methods in Protocol Development", Computer Communication Review, ACM SIGCOMM ,1989 View Artical
Okumura, K, "A Formal Protocol Conversion Method", Japan Science Institute, IBM Japan, Ltd., Tokyo, J ,1986 View Artical
Calvert Kenneth L. and Lam, Simon S., "Formal Methods for Protocol Conversion, Department of Computer Sciences", University of Texas, Austin, IEEE ,1990 View Artical
Chang, Jing and Liu, Ming T, "Using Protocol Validation Techniques to Solve Protocol Conversion Problems", Department of Computer and Information Science, Th ,1990 View Artical