jdh.hamkins.org
Infinite time Turing machines
[bibtex key=Hamkins2002:Turing]
