Rob Arthan Ursula Martin Erik A. Mathiesen Paulo Oliva A General Framework for Sound and Complete Floyd-Hoare Logics http://arxiv.org/abs/0807.1016 2008 CoRR abs/0807.1016 db/journals/corr/corr0807.html#abs-0807-1016