×

zbMATH — the first resource for mathematics

On the theory of specification, implementation, and parametrization of abstract data types. (English) Zbl 0478.68020

MSC:
68P05 Data structures
PDF BibTeX XML Cite
Full Text: DOI