Compiling Connectives CACM June, 1960 Swift, C. J. CA600603 JB March 20, 1978 9:54 PM 187 5 187 187 5 187 187 5 187