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}, }