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

by Rowan Davies
Venue:In the Symposium on Logic in Computer Science (LICS ’96