@InProceedings{Hillebrand:SSV2009-123,
  author =       "Mark A. Hillebrand and Dirk C. Leinenbach",
  title =        "Formal Verification of a Reader-Writer Lock
                 Implementation in {C}",
  pages =        "123--141",
  booktitle =    "Workshop on Systems Software Verification (SSV 2009)",
  year =         "2009",
  publisher =    "Elsevier Science B.V.",
  series =       "Electronic Notes in Theoretical Computer Science",
  volume =       "254",
  sourcestgz =   "http://www.verisoftxt.de/d/src/RwLock-SSV09-1.tar.gz",
  ee =           "http://dx.doi.org/10.1016/j.entcs.2009.09.063",
}