Refinement concepts formalised in higher order logic
scientific article; zbMATH DE number 4153902
scientific article