Davis, M. The universal computer: The road from Leibniz to Turing - New York W. W. Norton & Company 2000 - xii, 257p. ISBN: 0-393-04785-7