Winskel, G. “A Compositional Proof System on a Category of Labelled Transition Systems”. DAIMI Report Series, vol. 18, no. 294, Nov. 1989, doi:10.7146/dpb.v18i294.6688.