Ganesh R. Baliga, John Case, Sanjay Jain, Mandayam Suraj: Machine Learning of Higher-Order Programs. J. Symb. Log. 59(2): 486-500 (1994)