A model of configuration languages for routing protocols. - Philip J. Taylor; Timothy G. Griffin (PRESTO, 2009)