On modelling multi-agent systems declaratively - Toni,F; Stathis,K; Mancarella,P; Bracciali,A (Springer Verlag, 2005)