Towards reasoning about Hoare relations
scientific article; zbMATH DE number 937255
scientific article