G. Winskel, “Proceedings of the CLICS Workshop: Part I og II”, DPB, vol. 21, no. 397, May 1992.