A Temporal-Logic Approach to Binding-Time Analysis.

Rowan Davies A Temporal-Logic Approach to Binding-Time Analysis. 184-195 1996 LICS db/conf/lics/lics96.html#Davies96