On hierarchies of abstract data types
algebraic specifications of computation structures
scientific article; zbMATH DE number 3810898