Goguen, J. A.; Burstall, R. M. Introducing institutions. (English) Zbl 1288.03001 Béziau, Jean-Yves (ed.), Universal logic: An anthology. From Paul Hertz to Dov Gabbay. Basel: Birkhäuser (ISBN 978-3-0346-0144-3/pbk; 978-3-0346-0145-0/ebook). Studies in Universal Logic, 323-357 (2012). Reprint of [Zbl 0543.68021].For the entire collection see [Zbl 1237.03003]. Cited in 1 ReviewCited in 25 Documents MSC: 03-03 History of mathematical logic and foundations 01A75 Collected or selected works; reprintings or translations of classics 03C95 Abstract model theory 03G30 Categorical logic, topoi 68Q65 Abstract data types; algebraic specification Citations:Zbl 0543.68021 PDFBibTeX XMLCite \textit{J. A. Goguen} and \textit{R. M. Burstall}, in: Universal logic: An anthology. From Paul Hertz to Dov Gabbay. Basel: Birkhäuser. 323--357 (2012; Zbl 1288.03001)