Dynamic interpretation and Hoare deduction
scientific article; zbMATH DE number 501112