Owen Cliffe, Marina De Vos, Julian Padget. Specifying and Reasoning About Multiple Institutions. In Pablo Noriega, Javier Vázquez-Salceda, Guido Boella, Olivier Boissier, Virginia Dignum, Nicoletta Fornara, Eric Matson, editors, Coordination, Organizations, Institutions, and Norms in Agent Systems II - AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers. Volume 4386 of Lecture Notes in Computer Science, pages 67-85, Springer, 2006. [doi]