Satish Chandra Thomas W. Reps Physical Type Checking for C. 66-75 1999 PASTE http://doi.acm.org/10.1145/316158.316183 db/conf/paste/paste99.html#ChandraR99