W. Morven Gentleman
Software Engineering Laboratory, National Research Council, Montreal Road, Bldg. M-50, Ottawa, ON K1A 0R8, Canada
Defining and Applying Measures of Distance Between Specifications
IEEE Transactions on Software Engineering