No. 294 (1989): PB-294 A Compositional Proof System on a Category of Labelled Transition Systems