"Ticc: A Tool for Interface Compatibility and Composition."

B. Thomas Adler et al. (2006)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics