Detecting global variables in denotational denitions (1985)

by D A Schmidt
Venue:ACM TOPLAS