Martini, A. R. “Reasoning about Partial Correctness Assertions in Isabelle/HOL”. Revista De Informática Teórica E Aplicada, vol. 27, no. 3, June 2020, pp. 84-101, doi:10.22456/2175-2745.98483.