@mastersthesis{Potts:be,
    address          = {Sydney, Australia},
    author           = {Daniel Potts},
    month            = nov,
    note             = {Available from publications page at \url{http://ts.data61.csiro.au/}},
    paperUrl         = {https://trustworthy.systems/publications/theses_public/99/Potts%3Abe.ps.gz},
    school           = {School of Computer Science and Engineering},
    title            = {{L4} on Uni- and Multiprocessor {Alpha}},
    year             = {1999}
  }