Dear David,

In addition to the already mentioned literature, you could have a look to this: Stephanie Dick has written a highly recommendable overview of the state of the art in the recently published A Companion to the History of American Science (Blackwell)[chapter "Computer Science"]. It includes, if I recall right, references to Mark Priestley's A Science of Operations, the classic work of Michael Mahoney's "The Search for a Mathematical Theory", the most recent work on the stored-program concept by Tom Haigh and Mark Priestley, as well as the sociological analysis provided by Nathan Ensmenger and Janet Abbate in their respective books. William Aspray's dissertation "From Mathematical Constructivity to Computer Science" is still very valuable and should be added to this list, as well as Liesbeth de Mol's extensive and original work on Post.

Hope this helps!

David Nofre

On 24 March 2017 at 20:16, David Hemmendinger <hemmendd@union.edu> wrote:
>Would you (or someone else reading this) happen to have a good
>bibliography on the history of computer science -- such as it exists
>that could be shared with me (this list)?

        I can recommend several articles on the (internalist) history
of formal languages, automata theory, and recursive functions.  They
have further bibliographies that may be helpful.   Parts of the articles
are somewhat technical.
        The first three are from the Annals 3:1 (1981), special issue on
the theory of computing:

Sheila Greibach, Formal Languages: Origins and Directions, pp 14-41
Juris Hartmanis, Observations About the Development of Theoretical
        Computer Science, pp 42-51
Stephen Kleene, Origins of Recursive Function Theory, pp 52-67.
Lance Fortnow & Steve Homer, A Short History of Computational Complexity,
        Bulletin of the European Association for Theoretical Computer Science,
        2003; https://people.cs.uchicago.edu/~fortnow/papers/history.pdf .


  David Hemmendinger                              hemmendd@union.edu
  Professor Emeritus               http://athena.union.edu/~hemmendd
  Computer Science Dept.                             +1 518 346 4489
  Union College, Schenectady, NY 12308          FAX: +1 518 388 6789
  Associate Editor-in-chief, IEEE Annals of the History of Computing
_______________________________________________
This email is relayed from members at sigcis.org, the email discussion list of SHOT SIGCIS. Opinions expressed here are those of the member posting and are not reviewed, edited, or endorsed by SIGCIS. The list archives are at http://lists.sigcis.org/pipermail/members-sigcis.org/ and you can change your subscription options at http://lists.sigcis.org/listinfo.cgi/members-sigcis.org