@manual{L4UM_x.2,
    month            = jun,
    oldlabel         = {Kuz:L4um, L4UM:x.2},
    note             = {Available from \url{http://www.disy.cse.unsw.edu.au/Software/L4}},
    paperurl         = {https://trustworthy.systems/publications/papers/L4UM_x.2.pdf},
    organization     = {Embedded, Real-Time and Operating Systems Program, NICTA},
    author           = {Ihor Kuz},
    year             = {2004},
    title            = {{L4} User Manual --- {API} Version {X.2}},
    key              = {L4UM}
  }