Literature/logics/Hoare-Kozen.pdf
2013-04-01 Christian Urban added paper by Kozen on Hoare-logics and Kleene algebras
less more (0) tip