Compiling Connectives
CACM June, 1960
Swift, C. J.
