Detecting global variables in denotational definitions (1985)

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