Mirkowska, Grazyna; Salwicki, Andrzej; Srebrny, Marian; Tarlecki, Andrzej First-order specifications of programmable data types. (English) Zbl 0980.68070 SIAM J. Comput. 30, No. 6, 2084-2096 (2001). MSC: 68Q60 Specification and verification (program logics, model checking, etc.) 68P05 Data structures 68Q65 Abstract data types; algebraic specification Keywords:algebraic specification; reachable algebra; data types PDF BibTeX XML Cite \textit{G. Mirkowska} et al., SIAM J. Comput. 30, No. 6, 2084--2096 (2001; Zbl 0980.68070) Full Text: DOI