Inductive theorem proving for design specifications
scientific article; zbMATH DE number 906764