Constraint-based design recovery for software reengineering theory and experiments - Woods, Steven G.; Quilici, Alexander E.; Yang, Qiang (The Kluwer international series in software engineering, 1998)