@PhDthesis{scozzari-PhD,
   author  = {Scozzari, F.},
   title   = {Domain theory in abstract interpretation: equations,
              completeness and logic},
   school  = {Dipartimento di Matematica, Univ. di Siena},
   year    = 1999,
   address = {via del Capitano 15, I-53100 Siena, Italy},
   month   = "February"}