Winskel, G. (1989). A Compositional Proof System on a Category of Labelled Transition Systems. DAIMI Report Series, 18(294). https://doi.org/10.7146/dpb.v18i294.6688