@mastersthesis{Wong:be,
    address          = {Sydney, Australia},
    author           = {{Ka-shu} Wong},
    keywords         = {Darbat, L4, Darwin, Mac OS X, Mach},
    month            = dec,
    paperUrl         = {https://trustworthy.systems/publications/theses_public/03/Wong%3Abe.ps.gz},
    school           = {School of Computer Science and Engineering},
    title            = {{MacOS} {X} on {L4}},
    year             = {2003}
  }