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