Winskel, G. Proceedings of the CLICS Workshop: Part I Og II. DPB 1992, 21.