1. S. Abramsky. Reasoning about concurrent systems. 1983.
2. P. Aczel. Frege structures and the notions of proposition, truth and set. In The Kleene Symposium, pages 31–59, North-Holland, 1980.
3. L. Augustsson. Compiling Lazy Functional Languages, Part II. PhD thesis, Chalmers University of Technology, 1987.
4. J. D. Brock and W. B. Ackerman. Scenarios: a model of non-determinate computation. In J. Diaz and I. Ramos, editors, Formalisation of Programming Concepts, Springer-Verlag, LNCS 107, 1981.
5. M. Broy. A fixed point approach to applicative multiprogramming. In M. Broy and E. M. Schmidt, editors, Theoretical Foundations of Programming Methodology, pages 565–623, Reidel, Dordrecht, 1982.