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