\bibitem{Cousot-RR-LRIM-83-04-sep-1983}
P.~Cousot.
\newblock A Hoare-style axiomatization of Burstall's intermittent assertion method for 
          non-deterministic programs.
\newblock Research report LRIM-83-04, University Paul Verlaine of Metz, France, September 1983.

@TECHREPORT{Cousot-RR-LRIM-83-04-sep-1983,
   author =    {P.~Cousot},
   title =     {A Hoare-style axiomatization of Burstall's intermittent assertion method for 
                non-deterministic programs},
   institution =  {University Paul Verlaine},
   address =   {Metz, France},
   month =     {September },
   year =      {1983},
}