@mastersthesis{Lyons:be,
    month            = jul,
    school           = {School of Computer Science and Engineering},
    note             = {Available from publications page at \url{http://ts.data61.csiro.au/}},
    author           = {Anna Lyons},
    title            = {Efficient Concurrency Control for High-Performance Microkernels},
    address          = {Sydney, Australia},
    year             = {2011}
  }