Ernst, George Werner: "Sufficient conditions for the success of GPS" pp517-533

[ACM] (1969) [ACM] JACM 16(4) 1969  

Languages mentioned GPS {1957} General Problem Solver