A principled, complete, and efficient representation of C++
scientific article; zbMATH DE number 6201168