@TechReport{Norrish:CPP2008,
  author =       {Michael Norrish},
  title =        {A Formal Semantics for C++},
  institution =  {NICTA},
  year =         2008,
  note = {Available from \url{http://nicta.com.au/people/norrishm/attachments/bibliographies_and_papers/C-TR.pdf}.},
  issn = {1833-9646}
}