LOOP was originally specified in The complexity of loop programs (1967) by Albert R. Meyer and Dennis M. Richie. Unlike most modern programming languages (and unlike WHILE and GOTO), this programming ...

This is the reason why pure languages like Haskell do not have loop constructs at all, and many other functional-programming languages either lack them completely or avoid them as much as possible.