SMS dit: Analysis and synthesis of abstract data types through generalization from examples / Christian Wild.