Schauer, R. F., Notz, W., and Mullery, A. "Design Mechanization of a Problem-Oriented Symbol Processor. Final Report (Appendix II, Part I)", AFCRL-64-454, 1964

Languages mentioned

• ADAM {1962} Experimental hardware symbol processor