Karthikeyan Bhargavan Carl A. Gunter Davor Obradovic Routing Information Protocol in HOL/SPIN. 53-72 2000 conf/tphol/2000 TPHOLs db/conf/tphol/tphol2000.html#BhargavanGO00 http://dx.doi.org/10.1007/3-540-44659-1_4