Chris Hankin Daniel Le Métayer A Type-based Framework for Program Analysis. 380-394 1994 SAS db/conf/sas/sas94.html#HankinM94 http://dx.doi.org/10.1007/3-540-58485-4_53