Hanne Riis Nielson Flemming Nielson Automatic Binding Time Analysis for a Typed lambda-Calculus. 139-176 1988 10 Sci. Comput. Program. 1 db/journals/scp/scp10.html#NielsonN88