<div dir="ltr"><div><div><font face="arial, helvetica, sans-serif">Dear David, <br><br>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 <i>A Companion to the History of American Science</i><i style="font-weight:bold"> </i>(Blackwell)[chapter "Computer Science"]. It includes, if I recall right, </font><font face="arial, helvetica, sans-serif">references to Mark Priestley's <i>A Science of Operations</i>, the classic work of Michael Mahoney's "The Search for a Mathematical Theory",</font><font face="arial, helvetica, sans-serif"> the most recent work on the stored-program concept by Tom Haigh and Mark Priestley, as well as the sociological analysis provided by</font><font face="arial, helvetica, sans-serif"> Nathan Ensmenger and Janet Abbate in their respective books.</font><font face="arial, helvetica, sans-serif"> 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.<br><br></font></div><div><font face="arial, helvetica, sans-serif">Hope this helps!<br></font></div><font face="arial, helvetica, sans-serif"><br></font></div><font face="arial, helvetica, sans-serif">David Nofre<br></font></div><div class="gmail_extra"><br><div class="gmail_quote">On 24 March 2017 at 20:16, David Hemmendinger <span dir="ltr"><<a href="mailto:hemmendd@union.edu" target="_blank">hemmendd@union.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">>Would you (or someone else reading this) happen to have a good<br>
</span>>bibliography on the history of computer science -- such as it exists<br>
<span class="">>that could be shared with me (this list)?<br>
<br>
</span>        I can recommend several articles on the (internalist) history<br>
of formal languages, automata theory, and recursive functions.  They<br>
have further bibliographies that may be helpful.   Parts of the articles<br>
are somewhat technical.<br>
        The first three are from the Annals 3:1 (1981), special issue on<br>
the theory of computing:<br>
<br>
Sheila Greibach, Formal Languages: Origins and Directions, pp 14-41<br>
Juris Hartmanis, Observations About the Development of Theoretical<br>
        Computer Science, pp 42-51<br>
Stephen Kleene, Origins of Recursive Function Theory, pp 52-67.<br>
Lance Fortnow & Steve Homer, A Short History of Computational Complexity,<br>
        Bulletin of the European Association for Theoretical Computer Science,<br>
        2003; <a href="https://people.cs.uchicago.edu/~fortnow/papers/history.pdf" rel="noreferrer" target="_blank">https://people.cs.uchicago.<wbr>edu/~fortnow/papers/history.<wbr>pdf</a> .<br>
<br>
<br>
  David Hemmendinger                              <a href="mailto:hemmendd@union.edu">hemmendd@union.edu</a><br>
  Professor Emeritus               <a href="http://athena.union.edu/~hemmendd" rel="noreferrer" target="_blank">http://athena.union.edu/~<wbr>hemmendd</a><br>
  Computer Science Dept.                             +1 518 346 4489<br>
  Union College, Schenectady, NY 12308          FAX: +1 518 388 6789<br>
  Associate Editor-in-chief, IEEE Annals of the History of Computing<br>
<div class="HOEnZb"><div class="h5">______________________________<wbr>_________________<br>
This email is relayed from members at <a href="http://sigcis.org" rel="noreferrer" target="_blank">sigcis.org</a>, 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 <a href="http://lists.sigcis.org/pipermail/members-sigcis.org/" rel="noreferrer" target="_blank">http://lists.sigcis.org/<wbr>pipermail/members-sigcis.org/</a> and you can change your subscription options at <a href="http://lists.sigcis.org/listinfo.cgi/members-sigcis.org" rel="noreferrer" target="_blank">http://lists.sigcis.org/<wbr>listinfo.cgi/members-sigcis.<wbr>org</a><br>
</div></div></blockquote></div><br></div>