A. R. Martini, “Reasoning about Partial Correctness Assertions in Isabelle/HOL”, RITA, vol. 27, no. 3, pp. 84–101, Jun. 2020.