Detecting global variables in denotational de nitions (1985)

by D A Schmidt
Venue:ACM TOPLAS