@manual{Elphinstone_HL:L4-79,
    month            = may,
    organization     = {School of Computer Science and Engineering},
    note             = {Available from \url{http://www.disy.cse.unsw.edu.au/Software/L4}},
    paperurl         = {https://trustworthy.systems/publications/papers/Elphinstone_HL%3AL4-79.ps.gz},
    author           = {Kevin Elphinstone and Gernot Heiser and Jochen Liedtke},
    year             = {1999},
    address          = {Sydney, Australia},
    annote           = {Keep, this is referred to by ``Inside L4/MIPS''},
    title            = {L4 Reference Manual: {MIPS R4x00}, Version 1.11, Kernel Version 79}
  }