No. 47 (1994): RS-47 A Constraint Oriented Proof Methodology based on Modal Transition Systems