BibTex:

@studythesis{moeller05reusing,
  author = {Kim-Thomas Moeller},
  title = {Reusing I/O-Kit Device Drivers on L4},
  type = {Study Thesis},
  address = {System Architecture Group, University of Karlsruhe, Germany},
  month = may # "~3",
  year = 2005,
  url = {http://i30www.ira.uka.de/teaching/theses/pasttheses/}
}