On Hoare logic and Kleene algebra with tests (2000)

by D Kozen
Venue:ACM Transactions on Computational Logic (TOCL