Brim, L. et al. 2012. Modelling Multi-Agent Systems as Synchronous Concurrent Constraint Processes. COMPUTING AND INFORMATICS. 21, 6 (Jan. 2012), 565–590.