Empirical explorations of the geometry theorem machine. - Herbert L. Gelernter; J. R. Hansen; Donald W. Loveland (IRE-AIEE-ACM Computer Conference (Western), 1960)

A Fortran-Compiled List-Processing Language. - Herbert L. Gelernter; J. R. Hansen; Carl L. Gerberich (J. ACM, 1960)