Standard Type Soundness for Agents and Artifacts

@article{sacs2012,
   apice = {SACS2012},
   author = {Damiani, Ferruccio and Giannini, Paola and Ricci, Alessandro and Viroli, Mirko},
   doi = {10.7561/SACS.2012.2.267},
   journal = {Scientific Annals of Computer Science},
   number = 2,
   organization = {``A.I. Cuza'' University, Iacsi, Romania},
   pages = {267--326},
   publisher = {``A.I. Cuza'' University Press, Iacsi},
   title = {Standard Type Soundness for Agents and Artifacts},
   volume = 22,
   year = 2012
}