@techreport{eigrp-tr,
Author = {Adri\'an Riesco and Alberto Verdejo},
Institution = {Dpto.\ Sistemas Inform\'aticos y Computaci\'on,  
Universidad Complutense de Madrid},
Note = {\url{http://maude.sip.ucm.es/eigrp}},
Number = {SIC-3/07},
Title = {The {EIGRP} Protocol in {Maude}},
Year = {2007}}