Charles J. Swift "Compiling connectives"

[ACM] (1960) [ACM] CACM 3(06) June 1960  

Languages mentioned FACT {1958} Fully Automated Compiling Technique