Winskel, G. Proceedings of the Third {HOL} Users Meeting: Aarhus University, 1-2 October 1990. DPB 1990, 19.