De hecho el ejemplo anterior no es la forma pura inventada para el informe del ALGOL 60.