Sanjeev Khanna Keshav Kunal Benjamin C. Pierce A Formal Investigation of. 485-496 2007 conf/fsttcs/2007 FSTTCS http://dx.doi.org/10.1007/978-3-540-77050-3_40 db/conf/fsttcs/fsttcs2007.html#KhannaKP07