Books about Electronic digital computers (sorted alphabetically)