Peter Höfner, Annabelle McIver: Towards an Algebra of Routing Tables. RAMiCS 2011: 212-229