Descartes'dream
Davis, Philip J. 1988