Un lenguaje ejemplar de este tipo es P′′, creado por el informático teórico italiano Corrado Böhm en 1964, y que se constituye como el primer lenguaje imperativo de la programación estructurada cuya pertenencia a la clase de los Turing completos pudo ser demostrada sin necesidad del uso de la instrucción GOTO.