[SIGCIS-Members] New book about Turing and Dijkstra