Winskel, G. “Proceedings of the Third {HOL} Users Meeting: Aarhus University, 1-2 October 1990”. DAIMI Report Series, vol. 19, no. 340, Dec. 1990, doi:10.7146/dpb.v19i340.7648.