Winskel, Glynn. “Proceedings of the CLICS Workshop: Part I Og II”. DAIMI Report Series, vol. 21, no. 397, May 1992, doi:10.7146/dpb.v21i397.7657.