David A. Schmidt Detecting Global Variables in Denotational Specifications. 299-310 1985 7 ACM Trans. Program. Lang. Syst. 2 https://doi.org/10.1145/3318.3323 db/journals/toplas/toplas7.html#Schmidt85