A formalism for C++

Gabriel Dos Reis, Bjarne Stroustrup. A formalism for C++. Technical Report N1885=05-0145, ISO/IEC JTC1/SC22/WG21, 2005.

@techreport{ReisStroustrup2005,
  title = {A formalism for {C++}},
  author = {Gabriel Dos Reis and Bjarne Stroustrup},
  year = {2005},
  researchr = {https://researchr.org/publication/ReisStroustrup2005},
  cites = {0},
  citedby = {0},
  institution = {ISO/IEC JTC1/SC22/WG21},
  number = {N1885=05-0145},
}