Enabledness and termination in refinement algebra
scientific article; zbMATH DE number 5586774
scientific article