BOUNDED ALGOL-LIKE LANGUAGES^)