G. Winskel, “Proceedings of the Third {HOL} Users Meeting: Aarhus University, 1-2 October 1990”, DPB, vol. 19, no. 340, Dec. 1990.