Computing (Mathematics : a foundation course, 1971)