Combining algebraic specifications and procedural tools for correct program development
scientific article; zbMATH DE number 4133476