Translation of Algol 60