G. Winskel, “On the compositional checking of validity”, DPB, vol. 19, no. 324, Jul. 1990.