Revised report on the algorithmic languageAlgol 60