The universal computer the road from Leibniz to Turing - Davis, Martin 1928-2023 (Norton, 2000)