on the intellectual enterprises of computer science and the art of programming