1. Annas, J. 2011. Intelligent virtue. Oxford: Oxford University Press.
2. Anscombe, G. 1958. Modern moral philosophy. Philosophy 33(124): 1–19.
3. Arkin, R. 2009. Governing lethal behavior in autonomous robots. New York: Chapman and Hall/CRC.
4. Arkoudas, K., K. Zee, V. Kuncak, and M. Rinard. 2004. Verifying a file system implementation. In Sixth International Conference on Formal Engineering Methods (ICFEM’04), Lecture notes in computer science (LNCS), vol. 3308, 373–390. Seattle: Springer.
5. Arkoudas, K., S. Bringsjord, and P. Bello. 2005. Toward ethical robots via mechanized deontic logic. In Machine Ethics: Papers from the AAAI Fall Symposium; FS–05–06, 17–23. Menlo Park: American Association for Artificial Intelligence. http://www.aaai.org/Library/Symposia/Fall/fs05-06.php