Azab, K. and Pennemann, K.-H. (2008) “Type Checking C++ Template Instantiation by Graph Programs”, Electronic Communications of the EASST, 10. doi: 10.14279/tuj.eceasst.10.148.