Knuth, Donald Ervin, and Luis Trabb Pardo "The early development of programming languages" pp419-96

Belzer, J. (1977) Belzer, J. ; A. G. Holzman, A. Kent, (eds) Encyclopedia of Computer Science and Technology, Marcel Dekker, Inc., New York. 1979  

Languages mentioned A-0 {1952} Compiler for UNIVAC 1 A-1 {1953} Compiler for UNIVAC I A-2 {1953} UNIVAC compiler ADES {1955} Automatic Digital Encoding System ADES II {1955} Automatic Digital Encoding System v II Aiken CPC translator {1948} Proposed relay code for the Harvard Mark III AS Intercode {1959} Port of Intercode to run at Armstrong Siddley AT-3 {1954} Algebraic Translator AUTOCODE {1952} Symbolic assembly programming language for Manchester Mark 1 BACAIC {1954} Algebraic system at Boeing Boehm {1951} First operator precence language Brooker Autocode {1953} Machester Mark I autocode Curry programming system {1948} Special notation system to program the ENIAC Flow Diagrams {1946} Graph based visual program language Formules {1956} Compiler for Zuse Z4 FORTRANSIT {1956} FORTRAN Internal Translator Intermediate Programming Language {1950} High level machine language IT {1955} Internal Translator mathematical autocoder Klammerausdr죫e {1951} algebraic language KOMPILER {1953} Livermore autocode KOMPILER 2 {1955} Hybrid algebra flow language KOMPILER 3 {1957} Livermore Autocode Laning and Zierler {1953} Algebraic Interpreter LYaPAS {1964} Symbolic extensions to APL MAC {1957} MIT Algebraic Compiler for IBM 650 PIPI {1958} Russian automatic coder Plankalkul {1943} Algebraic compiler for Z3 PP-1 {1954} Russian automatic programming system PP-2 {1955} Russian automatic programming system PP-S {1957} Strela-3 computer Sequentielle Formelübersetzung {1955} High-level algbraic compiler SHACO {1953} Interpretive symbolic maths system