Finkel, Raphael A. Taylor, Russell H. Bolles, Robert C. Paul, Richard P. Feldman, Jerome A. "AL, a programming system for automation" Report Number: CS-TR-74-456 Department of Computer Science Stanford University

Languages mentioned

• AL {1969} Assembler for robots
• LCF {1972} Logic for Computable Functions