Is there a paper or something that describes how this works? As fun as trudging through supposedly secure C++ code is, I'd rather have an understanding derived

Is there a paper or something that describes how this works? As fun as trudging through supposedly secure C++ code is, I'd rather have an understanding derived from the principles.