Davies, R. (1995) “A Temporal-Logic Approach to Binding-Time Analysis”, BRICS Report Series, 2(51). doi: 10.7146/brics.v2i51.19952.