Ferruccio Damiani Paola Giannini Alessandro Ricci Mirko Viroli FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts. 218-225 2009 ICSOFT (1) conf/icsoft/2009-1 db/conf/icsoft/icsoft2009-1.html#DamianiGRV09