Integrating Specifications: A Similarity Reasoning Approach. - Spanoudakis, George; Constantopoulos, Panos (Autom. Softw. Eng., 1995)