My conversation with Michael A. Jackson just appeared, entitled: Formalism & Intuition in Software Development

From the preface:

Software technology can be viewed through very different lenses. The words `computer program', for instance, have acquired at least four different meanings during the course of history. A computer program can refer to:

This post contains extra information about my CACM article `A Turing Tale' (October issue, 2014), specifically regarding particular book chapters and page numbers for the source citations appearing in my article.

Below, I present fragments of my article along with precise source citations which were omitted due to editorial styling conventions.

In my section entitled "Hodges":

In January 2014 I taught a Master course on the history of computing at the University of Amsterdam together with my colleague Katrin Geske. Nine groups, consisting on average of five students, followed our course for a period of four weeks (from 6 January till 31 January). Most attendees were computer science students and did not have any other academic commitments in January, at least not officially. Our objective was to have each student think, read, and write like a historian of computing by the end of the month.