Revised report on the algorithmic language Algol 60