K. Azab and K.-H. Pennemann, “Type Checking C++ Template Instantiation by Graph Programs”, ECEASST, vol. 10, Jul. 2008.