Winskel, G. “On the Compositional Checking of Validity”. DAIMI Report Series, vol. 19, no. 324, July 1990, doi:10.7146/dpb.v19i324.6714.