@book{GoesselOcheretnySogomonyanetal.2008,
  author    = {Michael Goessel and Vitaly Ocheretny and Egor S. Sogomonyan and Daniel Marienfeld},
  title     = {New methods of concurrent checking},
  volume    = {42},
  isbn      = {978-1-402-08419-5},
  doi       = {10.1007/978-1-4020-8420-1},
  year      = {2008},
}