1. Eilenberg, S., and Kelly, G.M.: Closed categories. Proc. Conf. Categ. Alg. (La Jolla, 1965). Springer, Berlin, 1966, pp. 421–562. esp. pp. 471–476.
2. Eilenberg, S., and Moore, J.C.: Adjoint functors and triples. Ill. J. Math. 9 (1965), pp. 381–398, esp. p. 398.
3. Linton, F.E.J.: An outline of functorial semantics. This volume.
4. Linton, F.E.J.: Applied functorial semantics, II. This volume.