@mastersthesis{artho-mthesis,
  author = {C. Artho},
  title = {Finding Faults in Multi-threaded Programs},
  year = {2001},
  school = {ETH Z{\"u}rich},
}