Tim Miller Peter McBurney Annotation and Matching of First-Class Agent Interaction Protocols. 141-158 2008 ArgMAS http://dx.doi.org/10.1007/978-3-642-00207-6_9 conf/argmas/2008 db/conf/argmas/argmas2008.html#MillerM08