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