Andreas Voellmy Paul Hudak Nettle: A Language for Configuring Routing Networks. 211-235 2009 DSL http://dx.doi.org/10.1007/978-3-642-03034-5_11 conf/dsl/2009 db/conf/dsl/dsl2009.html#VoellmyH09