A constructive method for abstract algebraic software specification
abstract algebraic software specification
scientific article; zbMATH DE number 3866563
scientific article