Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen
algebraic specification of abstract data types
partial heterogeneous algebras homomorphisms
scientific article; zbMATH DE number 3768956