1. Abrial J.-R. (1996) The B-book. Cambridge University Press, Cambridge
2. Adam, E., Grislin-Le Strugeon, E., & Mandiau, R. (2008). Flexible hierarchical organisation of role based agents. In 2nd IEEE international conference on self-adaptive and self-organizing systems workshops (pp. 186–191). Washington, DC: IEEE Computer Society.
3. Alechina, N., Logan, B., & Whitsey, M. (2004). A complete and decidable logic for resource-bounded agents. In Autonomous agents and multi-agent systems (AAMAS’04) (pp. 606–613). ACM Press.
4. Bordini, R. H., Fisher, M., Visser, W., & Wooldridge, M. (2003). Verifiable multi-agent programs. In M. Dastani, J. Dix, & A. Seghrouchni (Eds.), ProMAS. LNCS (Vol. 3067, pp. 72–89). Springer.
5. Botti V., Giret A. (2008) ANEMONA: A multi-agent methodology for Holonic Manufacturing Systems. Springer, Berlin, Heidelberg