Automated flaw detection in algebraic specifications
scientific article; zbMATH DE number 5835457
scientific article