@PhdThesis{Daum:FFVASLCP10,
  author =       "Matthias Daum",
  title =        "On the Formal Foundation of a Verification Approach for System-Level Concurrent Programs",
  school =       "Saarland University, Computer Science Department",
  month =        jun,
  year =         "2010",
  URL =          "http://www-wjp.cs.uni-saarland.de/publikationen/Daum10.pdf",
}