@Article{BCT04,
  author = 	 {Roberto Barbuti and Stefano Cataudella and Luca Tesei},
  title = 	 {Abstract Interpretation against Races},
  journal = 	 {Fundamenta Informaticae},
  year = 	 {2004},
  volume =	 {60},
  number =	 {1-4},
  pages =	 {57--79},
  note =	 {IOS Press, Amsterdam}
}