Winskel, G. (1990). On the compositional checking of validity. DAIMI Report Series, 19(324). https://doi.org/10.7146/dpb.v19i324.6714