1. E.Astesiano, G.Costa, On algebraic semantics of polyadic recursive schemas, 2me Coll. Les Arbres en Algèbre et en Programmation, Univ.of Lille, 1977, 29–83.
2. === Fully abstract semantics for nondeterministic λ-s-calculi, 1979, to appear.
3. J.A. Goguen, J.W. Thatcher, E.G. Wagner, J.B. Wright, Initial algebra semantics and continuous algebras, JACM, 24 (1977) 68–95.
4. G. Berry, Séquentialité de l'évaluation formelle des λ-expressions, in B.Robinet ed. Trasformations des programmes (3me Coll. Int. sur la Programmation, Paris, 1978) Dunod, Paris 1978.
5. === Stable models of typed λ-calculi, 5th ICALP, Udine 1978, Lecture Notes in C.S. 62, Springer, 72–89.