Goguen, Joseph A.; Burstall, Rod M. Institutions: Abstract model theory for specification and programming. (English) Zbl 0799.68134 J. Assoc. Comput. Mach. 39, No. 1, 95-146 (1992). Cited in 11 ReviewsCited in 230 Documents MSC: 68Q65 Abstract data types; algebraic specification 68Q55 Semantics in the theory of computing 68Q60 Specification and verification (program logics, model checking, etc.) 03B70 Logic in computer science 03G30 Categorical logic, topoi 68N15 Theory of programming languages Keywords:logical system; institution; specification languages; programming languages; abstract data types Software:OBJ3 PDFBibTeX XMLCite \textit{J. A. Goguen} and \textit{R. M. Burstall}, J. Assoc. Comput. Mach. 39, No. 1, 95--146 (1992; Zbl 0799.68134) Full Text: DOI