Automata and Formal Languages Links
The Alan Turing Home Page
The History of Computing
ACM SIGACT
The Formal Languages Environment AUTOMATA
Visual and Interactive Tools for Theoretical CS
Gertjan van Noord Home Page