Springer
doi.org/10.1007/978-3-642-11355-0_2
Lecture Notes in Artificial Intelligence
International Workshop on Declarative Agent Languages and Technologies
Computer Security

Astefanoaei, L., de Boer, F.& Dastani, M. (2010). The Refinement of Choreographed Multi-Agent Systems. Proceedings of International Workshop on Declarative Agent Languages and Technologies (DALT) (9), 20–34.https://doi.org/10.1007/978-3-642-11355-0_2