An elementary and unified approach to program correctness
scientific article; zbMATH DE number 5817992
scientific article