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