-M. Dam (Ed.): Analysis and Verification of Multiple-Agent Languages. Proceedings 1996, Springer-Verlag 1997