1. Alaettinoglu, C., Villamizar, C., Gerich, E., Kessens, D., Meyer, D., Bates, T., et al. (1999). Routing Policy Specification Language. RFC 2622.
2. Alloy. http://alloy.mit.edu/
3. Al-Shaer, E., Marrero, W., El-Atawy, A., & ElBadawy, K. (2008).Towards global verification and analysis of network access control configuration. Technical Report, TR-08-008, DePaul University, from http://www.mnlab.cs.depaul.edu/projects/ConfigChecker/TR-08-008/paper.pdf
4. Anderson P (2006) System Configuration. In Short Topics in System Administration ed. Rick Farrow. USENIX Association.
5. ANTRL v3. http://www.antlr.org/