George J. Milne Circal and the Representation of Communication, Concurrency, and Time. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1985, v:7, n:2, pp:270-298 [Journal]
David A. Schmidt Detecting Global Variables in Denotational Specifications. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1985, v:7, n:2, pp:299-310 [Journal]