Guntis Barzdins ADT Implementation and Completion by Induction from Examples. 1-10 1990 conf/adt/1990 ADT db/conf/adt/adt1990.html#Barzdins90