Chris Hankin Daniel Le Métayer David Sands Transformation of Gamma Programs. 12-19 1992 WSA db/conf/sas/wsa92.html#HankinMS92