@techreport{Norrish_07:tr,
    address          = {Canberra},
    author           = {Norrish, Michael},
    institution      = {NICTA},
    month            = nov,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/1203.pdf},
    title            = {A Formal Semantics for C++},
    type             = {Technical Report},
    year             = {2007}
  }