Guttag, J. V.; Horning, J. J. The algebraic specification of abstract data types. (English) Zbl 0369.68010 Acta Inf. 10, 27-52 (1978). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 ReviewsCited in 39 Documents MSC: 68N01 General topics in the theory of software PDFBibTeX XMLCite \textit{J. V. Guttag} and \textit{J. J. Horning}, Acta Inf. 10, 27--52 (1978; Zbl 0369.68010) Full Text: DOI