title = {Banishing robust Turing completeness},
author = {Lane A. Hemachandra and Sanjay Jain and Nikolai K. Vereshchagin},
booktitle = {Proc. 2nd Int. Symp. Logical Foundations of Computer Science},
number = {620},
editor = {Anil Nerode and Michael A. Taitslin},
series = {Lecture Notes in Computer Science},
publisher = {Springer-Verlag},
pages = {186--197},
year = {1992}}

Fano Experimental Web Server, D. Eppstein, School of Information & Computer Science, UC Irvine
Made on a Mac Valid XHTML 1.0!