Detecting global variables in denotational specifications. ACM transactions on programming languages and systems (1985)

by D A Schmidt