@book{scozzari-umi,
   author =    {Scozzari, F.},
   title =  {Domain theory in abstract interpretation: equations,
  completeness and logic},
   series={Bollettino della Unione Matematica Italiana},
   publisher = {UMI}, 
   address = {Bologna},
   volume={III-A},
   pages={213-216},
   year = 2000
}