Origins of digital computers : SELECTED PAPERS. 3. - Randell, Brian (Springer Verlag, 1982)