20-GATE

20-Gate is an algebraic language for the G-20, developed at Carnegie Mellon University around 1965.