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