@PhdThesis{Starostin_FVDP10,
  author =       "Artem Starostin",
  title =        "Formal Verification of Demand Paging",
  school =       "Saarland University, Computer Science Department",
  month =        mar,
  year =         "2010",
  URL =          "http://www-wjp.cs.uni-sb.de/publikationen/St10.pdf",
}