FlooP

Free Loop

Douglas Hofstadter, 1979

A minimal imperative language designed for pedagogical purposes. It is identical to BlooP but the loops are unbounded. FlooP has sufficient power to compute general recursive functions, illustrating the Church-Turing Thesis.

Godel, Escher, and Bach: An Eternal Golden Braid, Douglas Hofstadter, Basic Books, Chap 13. ISBN 0-465-02685-0.