Azab, Karl, and Karl-Heinz Pennemann. “Type Checking C++ Template Instantiation by Graph Programs”. Electronic Communications of the EASST 10 (July 14, 2008). Accessed July 31, 2025. https://www.eceasst.org/index.php/eceasst/article/view/2533.