20-GATE
Carnegie Mellon University, about 1965
An algebraic language for the G-20 computer.