Military computing tends to be 800 pound gorilla in
the room that
historians tend to dismiss.
How do you figure? The early history of digital computing,
especially in the 1940s - 1950s, is dominated by military
installations. Colossus, ENIAC, many UNIVACs, SEAC/SWAC, SAGE, etc.
.... in fact this year's winner of the Computer History Museum
Prize* is "Calculating a Natural World" by Atsushi Akera. The book
is a great read and focuses on Cold War computer research.
* The prize is administered by the Society for the History of
Technology's Special Interest Group for Computers, Information, and
Society, a.k.a. SHOT-SIGCIS. This is the primary organization for
professional computer historians.
Not to take away from your point, but why do you include SEAC/SWAC in
that list? (both National Bureau of Standards computers)