Eijck, Vries, 1992. Dynamic interpretation and hoare deduction.. https://doi.org/10.1007/bf00203385