(1)
Winskel, G. A Compositional Proof System on a Category of Labelled Transition Systems. DPB 1989, 18.