Automated verification of refinement laws
scientific article; zbMATH DE number 5633343
scientific article