On Hoare logic and Kleene algebra with tests (2000)

by Dexter Kozen
Venue:Trans. Computational Logic