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