Xiaohu Qie Sanjai Narain Using service grammar to diagnose BGP configuration errors. 125-141 2004 53 Sci. Comput. Program. 2 http://dx.doi.org/10.1016/j.scico.2003.12.007 db/journals/scp/scp53.html#QieN04