Rob Arthan Ursula Martin Erik A. Mathiesen Paulo Oliva A general framework for sound and complete Floyd-Hoare logics. 2009 11 ACM Trans. Comput. Log. 1 http://doi.acm.org/10.1145/1614431.1614438 db/journals/tocl/tocl11.html#ArthanMMO09