@phdthesis{artho-thesis,
  author = {C. Artho},
  title = {Combining Static and Dynamic Analysis to Find Multi-threading Faults Beyond Data Races},
  year = {2005},
  school = {ETH Z{\"u}rich},
}