Martini, Alfio Ricardo. “Reasoning about Partial Correctness Assertions in Isabelle HOL”. Revista de Informática Teórica e Aplicada 27, no. 3 (June 18, 2020): 84–101. Accessed August 3, 2026. https://seer.ufrgs.br/index.php/rita/article/view/Vol27_nr3_84.