Detecting global variables in denotational specifications (1985)

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