Reference:

Christian Kühnel, Andreas Bauer, and Michael Tautschnig. Compatibility and reuse in component-based systems via type and unit inference. Technical Report TUM-I0716, Institut für Informatik, Technische Universität München, May 2007.

Suggested BibTeX entry:

@techreport{tum-i0716,
    author = {Christian K{\"u}hnel and Andreas Bauer and Michael Tautschnig},
    institution = {Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
    month = {May},
    number = {TUM-I0716},
    title = {Compatibility and reuse in component-based systems via type and unit inference},
    year = {2007}
}