Key points are not available for this paper at this time.
Eager is a Programming by Example system for the HyperCard environment.
Allen Cypher (Tue,) studied this question.