@inproceedings{Elphinstone_HL_99,
    month            = jan,
    paperurl         = {https://trustworthy.systems/publications/papers/Elphinstone_HL_99.ps.gz},
    publisher        = {Springer},
    note             = {Available from publications page at \url{http://ts.data61.csiro.au/}},
    booktitle        = {Proceedings of the 4th Australasian Computer Architecture Conference},
    author           = {Kevin Elphinstone and Gernot Heiser and Jochen Liedtke},
    title            = {Page Tables for 64-bit Computer Systems},
    address          = {Auckland, New Zealand},
    year             = {1999},
    pages            = {211-226}
  }