Parametrization for order-sorted algebraic specification
scientific article; zbMATH DE number 4137310
scientific article