Alessandro Ricci, Mirko Viroli, Michele Piunti. Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments. In Lars Braubach, Jean-Pierre Briot, John Thangarajah, editors, Programming Multi-Agent Systems - 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers. Volume 5919 of Lecture Notes in Computer Science, pages 133-150, Springer, 2009. [doi]