Atlas Computer: Revised report on the algorithmic ALGOL 60 (LIST CS 377) - Backus (1964)