Schauer, R. F., Notz, W., and Mullery, A. "Design Mechanization of a Problem-Oriented Symbol Processor. Final Report (Appendices I, III, IV, V)", AFCRL-64-454, 1964
(1964)
Languages mentioned
ADAM
{1962} Experimental hardware symbol processor