Christian Haack Brian Howard Allen Stoughton J. B. Wells Fully Automatic Adaptation of Software Components Based on Semantic Specifications. 83-98 2002 conf/amast/2002 AMAST http://link.springer.de/link/service/series/0558/bibs/2422/24220083.htm db/conf/amast/amast2002.html#HaackHSW02