G. Winskel, “A Compositional Proof System on a Category of Labelled Transition Systems”, DPB, vol. 18, no. 294, Nov. 1989.