\bibitem{CousotR-RR-LRIM-83-08-nov-1983}
P.~Cousot and R.~Cousot
\newblock ``\`A la Burstall'' induction principles for proving inevitability properties of programs.
\newblock Research report LRIM-83-08, University Paul Verlaine of Metz, France, November 1983, 38p.

@TECHREPORT{CousotR-RR-LRIM-83-08-nov-1983,
   author =    {P.~Cousot and R.~Cousot},
   title =     ``\`A la Burstall''induction principles for proving inevitability properties of programs},
   type =        {{R}es{.} rep{.}},
   number =      {LRIM-83-08},
   institution =  {University Paul Verlaine},
   address =   {Metz, France},
   month =     nov,
   year =      1983,
}