Larsen, K. G. (1994) “A Constraint Oriented Proof Methodology based on Modal Transition Systems”, BRICS Report Series, 1(47). doi: 10.7146/brics.v1i47.21595.