Winskel, Glynn. 1990. “On the Compositional Checking of Validity”. DAIMI Report Series 19 (324). https://doi.org/10.7146/dpb.v19i324.6714.