Burkhard Freitag Tiziana Margaria Bernhard Steffen A Pragmatic Approach to Software Synthesis. 46-58 1994 Workshop on Interface Definition Languages db/conf/idl/idl94.html#FreitagMS94