There's something little I don't understand about Hofstadter's BlooP language (From "Godel Escher Bach"), that's supposed to be bounded. Can't recursive functions be coded in BlooP ? Because if they can, it's not really bounded. It's easy to implement an infinite loop using recursion.

I must have missed Hofstadter's saying somewhere that recursion is prohibited in BlooP.