Winskel, G. On the Compositional Checking of Validity. DPB 1990, 19.