Joseph A. Goguen Till Mossakowski Valeria de Paiva Florian Rabe Lutz Schröder An Institutional View on Categorical Logic. 129-152 2007 1 Int. J. Software and Informatics 1 http://www.ijsi.org/ch/reader/view_abstract.aspx?file_no=2007129 db/journals/ijsi/ijsi1.html#GoguenMPRS07