Schauer, R. F., Notz, W., and Mullery, A. "Design Mechanization of a Problem-Oriented Symbol Processor", AFCRL-64-454, 1964

Languages mentioned

• ADAM {1962} Experimental hardware symbol processor