Interface Specification and Converter Synthesis