Mitchell Wand Specifying the Correctness of Binding-Time Analysis. 137-143 1993 POPL db/conf/popl/popl93.html#Wand93