\bibitem{Cousot-Unpublished-CP-1977}
P{.} Cousot.
\newblock An introduction to a mathematical theory of global program
          analysis.
\newblock Unpublished manuscript, La\-bo\-ra\-toi\-re IMAG,
          Uni\-ver\-si\-t{\'e} scien\-ti\-fi\-que et m{\'e}\-di\-ca\-le de
          Gre\-no\-ble, {G}re\-no\-ble, France.  Mar{.} 1977, 19 p.

@unpublished{Cousot-Unpublished-CP-1977,
   author = {Cousot, P{.}},
   title =  {An Introduction to a Mathematical Theory of Global
             Program Analysis},
   note =   {La\-bo\-ra\-toi\-re IMAG, Uni\-ver\-si\-t{\'e}
             scien\-ti\-fi\-que et m{\'e}\-di\-ca\-le de Gre\-no\-ble,
             {G}re\-no\-ble, France, 19 p{.}},
   month =  {Mar{.}},
   year =   1977,
}