Detecting Global Variables in Denotatinal Speci (1985)

by D A Schmidt
Venue:ACM Transactions on Programming Languages and Systems