Wu Wen, Fumio Mizoguchi: Analysis and Verification of Multi-Agent Interaction Protocols. APSEC 1999: 252-259