(1)
Azab, K.; Pennemann, K.-H. Type Checking C++ Template Instantiation by Graph Programs. ECEASST 2008, 10.