@InProceedings{Daum:FMDS08-,
  author =       "Matthias Daum",
  title =        "Modelling User Programs on Top of a Microkernel",
  URL =          "http://www-wjp.cs.uni-sb.de/publikationen/Daum_FM08ds-.pdf",
  booktitle =    "Proceedings of Doctoral Symposium Held in Conjunction
                 with Formal Methods 2008",
  series =       "General Publications",
  publisher =    "Turku Centre for Computer Science",
  editor =       "Elena Troubitsyna",
  volume =       "48",
  year =         "2008",
}