@phdthesis{Machado:msc,
  author = "Machado, N.",
  month = jun,
  school = "Instituto Superior T\´{e}cnico, Universidade de Lisboa",
  title = "Cooperative Concurrency Debugging",
  year = "20116"
}