Specification Matching of Object-Oriented Components. - Frank Feiks; David Hemer (SEFM, 2003)