Giuseppe Attardi, Maria Simi: Extending the power of programming by examples. COCS 1982: 52-66