Literature/logics/Hoare-Kozen.pdf
changeset 286 b49ff5328a66
parent 235 0b9c893cfd1b