@article{CousotCousot89-IC, author = {Cousot, P{.} and Cousot, R{.}}, title = {A language independent proof of the soundness and completeness of generalized {H}oare logic}, journal = {Information and Computation}, volume = 80, number = 2, pages = {165--191}, month = feb, year = 1989, } \bibitem{CousotCousot89-IC} P{.} Cousot and R{.} Cousot. \newblock A language independent proof of the soundness and completeness of generalized {H}oare logic. \newblock {\em Information and Computation}, 80(2):165--191, 1989.