@inproceedings{promas12,
  title = {Typing Multi-Agent Programs in {simpAL}},
  author = {Ricci, Alessandro AND Santi, Andrea},
  booktitle = {Proceedings of the Int. Workshop on Programming Multi-Agent Systems (ProMAS'12)},
  address = {Valencia, Spain},
  year = {2012}
}