Shamimabi Paurobally Jim Cunningham Nicholas R. Jennings Developing Agent Interaction Protocols Using Graphical and Logical Methodologies. 149-168 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3067&spage=149 2003 conf/promas/2003 PROMAS db/conf/promas/promas2003.html#PauroballyCJ03