Fleck, A.C. review of Cohen 1975

(1975) ACM Computing Reviews 16(02) February 1975  

Languages mentioned CONNIVER {1973} Floyd - Evans language {1960} Symbolic manipulation language FORTRAN-based non-deterministic language {1974} PLANNER {1967} Goal-direct LISP dialect REF-ARF {1970}