Specifying and Reasoning About Multiple Institutions. - Cliffe, Owen; Vos, Marina De; Padget, Julian A. (2006)