The origins of digital computers. Selected papers - Randell, Brian