Maurizio Martelli Viviana Mascardi Floriano Zini Specification and Simulation of Multi-Agent Systems in CaseLP. 13-28 1999 conf/agp/1999 APPIA-GULP-PRODE db/conf/agp/agp1999.html#MartelliMZ99