Burstall, R. M.; Goguen, J. A. The semantics of Clear, a specification language. (English) Zbl 0456.68024 Abstract software specifications, Proc. Winter Sch., Copenhagen 1979, Lect. Notes Comput. Sci. 86, 292-332 (1980). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 ReviewsCited in 75 Documents MSC: 68P05 Data structures Keywords:semantics of clear; specification language Citations:Zbl 0428.00023 PDFBibTeX XML