Specification matching of object-oriented components - Feiks, F.; Hemer, D. (First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings., Software Engineering and Formal Methods, 2003.Proceedings. First International Conference on, Software engineering and formal methods, 2003)