Hoare Logic in the Abstract. - Ursula Martin; Erik Arne Mathiesen; Paulo Oliva (CSL, 2006)

Abstract hoare logic. - Erik Arne Mathiesen (2007)

A general framework for sound and complete Floyd-Hoare logics. - Rob Arthan; Ursula Martin; Erik Arne Mathiesen; Paulo Oliva (ACM Trans. Comput. Log., 2009)