R. Davies, “A Temporal-Logic Approach to Binding-Time Analysis”, BRICS, vol. 2, no. 51, Jun. 1995.