1. Abramsky, S. On Semantic Foundations for Applicative Multiprogramming, in Automata, Languages and Programming: 10th International Colloquium, ed. J. Diaz, Springer LNCS Vol 154, 1983.
2. Abramsky, S. Experiments, Powerdomains and Fully Abstract Models for Applicative Multiprogramming, in Foundations of Computation Theory, ed. M. Karpinski, Springer LNCS Vol 158, 1983.
3. Abramsky, S. Reasoning about Concurrent Systems: a Functional Approach, in Distributed Computing, ed F.Chambers and D.Duce, Academic Press, 1984.
4. Friedman, D and Wise, D. CONS Should not Evaluate its Arguments. in Automata, Languages and Programming. ed. S. Michaelson & R. Milner. Edinburgh University Press. 1976.
5. Henderson, P. and Morris, J. H. A Lazy Evaluator. Proc. Third Acm Conference on Principles of Programming Languages, 1976.