A pseudocode interpreter for mathematics on IBM 701 and IBM 650 written by John Backus in 1953.
[Sammet 1969, p. 130].