@phdthesis{Elphinstone:phd,
    month            = mar,
    school           = {UNSW},
    note             = {Available from publications page at \url{http://ts.data61.csiro.au/}},
    paperurl         = {https://trustworthy.systems/publications/papers/Elphinstone%3Aphd.ps.gz},
    author           = {Kevin Elphinstone},
    title            = {Virtual Memory in a 64-bit Microkernel},
    address          = {Sydney, Australia},
    year             = {1999}
  }