Tobias Nipkow. Abstract Hoare Logics. Archive of Formal Proofs, 2006, 2006. [doi]
@article{Nipkow06-0, title = {Abstract Hoare Logics}, author = {Tobias Nipkow}, year = {2006}, url = {http://afp.sourceforge.net/entries/Abstract-Hoare-Logics.shtml}, note = {Formal proof development}, researchr = {https://researchr.org/publication/Nipkow06-0}, cites = {0}, citedby = {0}, journal = {Archive of Formal Proofs}, volume = {2006}, }