K. G. Larsen, “A Constraint Oriented Proof Methodology based on Modal Transition Systems”, BRICS, bd. 1, nr. 47, dec. 1994.