1. Alur R., Henzinger T.A., Kupferman O. (2002). Alternating-time temporal logic. Journal of the ACM, 49(5): 672–713
2. Alur, R., Henzinger, T. A., Mang, F. Y. C., Qadeer, S., Rajamani, S. K., & Taşiran, S. (1998). Mocha: Modularity in model checking. In CAV 1998: Tenth International Conference on Computer-aided Verification (LNCS Volume 1427) (pp. 521–525). Berlin, Germany: Springer-Verlag.
3. Blackburn P., de Rijke M., Venema Y. (2001). Modal Logic. Cambidge University Press, Cambridge, England
4. Clarke E.M., Grumberg O., Peled D.A. (2000). Model Checking. The MIT Press, Cambridge, MA
5. Dignum F. (1999). Autonomous agents with norms. Artificial Intelligence and Law, 7, 69–79