Tim Miller Peter McBurney Annotation and matching of first-class agent interaction protocols. 805-812 2008 AAMAS (2) http://doi.acm.org/10.1145/1402298.1402336 conf/atal/2008-2 db/conf/atal/aamas2008-2.html#MillerM08