@PhdThesis{Bogan:FSSOS08,
  author =       "Sebastian Bogan",
  title =        "Formal Specification of a Simple Operating System",
  school =       "Saarland University, Computer Science Department",
  month =        aug,
  year =         "2008",
  URL =          "http://www-wjp.cs.uni-sb.de/publikationen/Bog08.pdf",
}