"On Effective Axiomatizations of Hoare Logics."

Edmund M. Clarke, Steven M. German, Joseph Y. Halpern (1982)
a service of Schloss Dagstuhl - Leibniz Center for Informatics