\bibitem{CousotCousot-ENTCS01}
P.~Cousot and R. Cousot.
\newblock A case study in abstract interpretation based program
transformation: blocking command elimination.
\newblock In Electronic Notes in Theoretical Computer Science 45 (2001),
URL:\url{http://www.elsevier.nl/locate/entcs/volume45.html}, 24 pages.

@article{CousotCousot-ENTCS01,
   author =  {Cousot, P{.} and Cousot, R{.}},
   title =   {A Case Study in Abstract Interpretation Based Program 
              Transformation: Blocking Command Elimination},
   journal = {Electronic Notes in Theoretical Computer Science},
   volume =  45,
   year =    2001,
   note =    {URL: \url{http://www.elsevier.nl/locate/entcs/volume45.html}, 24 pages},
}