Data types, abstract data types and their specification problem
scientific article; zbMATH DE number 3610708