A Model of Internet Routing Using Semi-modules. - John N. Billings; Timothy G. Griffin (RelMiCS, 2009)