ABSTRACT
In the early days of Computer Science, Christopher Strachey held the belief that programming should be treated as a mathematical activity, in order to be given a sound theoretical basis. The above quote is taken from Ref. [34], containing some of his previously unpublished lecture notes in an edition dedicated to his memory. Perhaps an even greater dedication is that much work since his pioneering days has been dedicated to realizing that goal; and today it is still a fundamental aim of computer science research to understand, describe, and solve the problems of programming using sound mathematical techniques.
