Azab, K.; Pennemann, K.-H. Type Checking C++ Template Instantiation by Graph Programs. eceasst 2008, 10.