A relation algebraic model of robust correctness
semantics of specifications and programs
scientific article; zbMATH DE number 984041
scientific article