Dana Scott. The lattice of flow diagrams. Symposium on semantics of algorithmic languages, edited by E. Engeler, Lecture notes in mathematics, vol. 188, Springer-Verlag, Berlin, Heidelberg, and New York, 1971, pp. 311–366.
John Reynolds · Journal of Symbolic Logic · 1975
Dana Scott. The lattice of flow diagrams. Symposium on semantics of algorithmic languages, edited by E. Engeler, Lecture notes in mathematics, vol. 188, Springer-Verlag, Berlin, Heidelberg, and New York, 1971, pp. 311–366. - Volume 40 Issue 2