K. G. Larsen, “A Constraint Oriented Proof Methodology based on Modal Transition Systems”, BRICS, vol. 1, no. 47, Dec. 1994.