Structured program theorem
The theorem was first published in 1966 by Corrado Böhm and Guiseppe Jacopini. It comes from the 1946 description of the von Neumann architecture and the normal form theorem developed by Stephen Kleene.