Tibor Bosse Mark Hoogendoorn Radu Serban Jan Treur A Specification Language for Coordination in Agent Systems. 252-256 2007 conf/iat/2007 IAT http://doi.ieeecomputersociety.org/10.1109/IAT.2007.16 db/conf/iat/iat2007.html#BosseHST07