The origins of digital computers: Selected papers (Texts and monographs in computer science)