Martini, A. R. Reasoning about Partial Correctness Assertions in Isabelle/HOL. RITA 2020, 27, 84-101.