Yoshiyuki Shinkawa A formal approach to component adaptability. 280-285 2006 conf/acst/2006 ACST db/conf/acst/acst2006.html#Shinkawa06