A Constraint Oriented Proof Methodology Based on Modal Transition Systems.

Kim Guldstrand Larsen Bernhard Steffen Carsten Weise A Constraint Oriented Proof Methodology Based on Modal Transition Systems. 17-40 1995 conf/tacas/1995 TACAS db/conf/tacas/tacas95.html#LarsenSW95