Proof Support for RAISE by a Reuse Approach Based on Institutions. - Morten P. Lindegaard; Anne E. Haxthausen (AMAST, 2004)