When the first volume of "The Art of Computer Programming" came out in 1962, it was the first book to take a deep look into the math and science of programming.

The book was full of simple programs written in the accessible BASIC programming language.

Computer Programming and Formal Systems Edited by P. Braffort and D. Hirschberg. (Studies in Logic and the Foundations of Mathematics.) Pp. v + 161.