@unpublished{CousotCousot-Unpublished-TUMSAP-1977,
   author = {Cousot, P{.} and Cousot, R{.}},
   title = {Towards a Universal Model for Static Analysis of Programs},
   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, 90 p{.}},
   month =  {Jan{.}},
   year =   1977,
}