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