\bibitem{CousotCousot85-AMS} P{.} Cousot and R{.} Cousot. \newblock 'A la Floyd' induction principles for proving inevitability properties of programs. \newblock In \emph{Algebraic methods in semantics}, M{.} Nivat and J{.} Reynolds (Eds.), Cambridge University Press, Cambridge, UK , pp{.} 277--312, December 1985. @inproceedings{CousotCousot85-AMS, author = {Cousot, P{.} and Cousot, R{.}}, title = {'A la Floyd' induction principles for proving inevitability properties of programs}, booktitle = {Algebraic methods in semantics}, editor = {M{.} Nivat and J{.} Reynolds}, publisher = {Cambridge University Press, Cambridge, UK}, pages = {277--312}, month = dec, year = {1985}, }