Mutation testing in the refinement calculus
scientific article; zbMATH DE number 2132405