@techreport{CousotCousot-IMAG-RR25-1975,
   author =      {Cousot, P{.} and Cousot, R{.}},
   title =       {Static Verification of Dynamic Type Properties of Variables},
   institution = {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},
   type =        {{R}es{.} rep{.}},
   number =      {R.R{.} 25},
   address =     {{G}re\-no\-ble, France},
   month =       {Nov{.}},
   year =        1975,
   note =        {18 p{.}},
}