Hormann, Aiko "Computer languages for heuristic processes"

[ACM] (1961) [ACM] CACM 4(03) (March 1961)  

Languages mentioned ROVER {1960} Heuristic querying language