Revised report on the algorithmic language ALGOL 60