A Formal Description of a Subset of ALGOL. AIM-024