@article{gm05tcs,
   author = {R. Giacobazzi and I. Mastroeni},
   title = {Transforming Semantics by Abstract Interpretation},
   journal = { Theoretical Computer Science (TCS)},
   year = {2005},
   volume = {337},
   number = {1-3},
   pages = {1-50},
 }