@techreport{Fernandez_GAKK_13:tr,
    address          = {Australia},
    author           = {Fernandez, Matthew and Gammie, Peter and Andronick, June and Klein, Gerwin and Kuz, Ihor},
    institution      = {NICTA and UNSW},
    issn             = {1833-9646-7633},
    keywords         = {camkes, sel4, idl, glue code},
    month            = nov,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/7633.pdf},
    title            = {{CAmkES} Glue Code Semantics},
    year             = {2013}
  }