Davies, R. A Temporal-Logic Approach to Binding-Time Analysis. BRICS 1995, 2.