A temporal-logic approach to binding-time analysis (1996)

by Rowan Davies
Venue:Proceedings of the Eleventh Annual IEEE Symposium on Logic in Computer Science