1. Methods of Alternating Chains;Addison,1965
2. Mathematical Theory of Computation;Manna,1974
3. On the relation between direct and continuation semantics;Reynolds;Proc. Second Colloquium on Automata, Languages and Programming,1974
4. Theory of recursive functions and effective computability;Rogers,1967
5. D. Scott, Continuous lattices, Lecture notes in Mathematics 274 (Springer, Berlin).