- Abstract State Machines
- A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area.
- Design and Analysis of Computer Algorithms
- Lecture notes; applets and code in C, C++, and Java; links regarding books, journals, computability, quantum computing, societies and organizations.
- On the Road to Algorithms
- Information on algorithms such as Bubble Sort and Random Number Generation, using HTML, Java and Perl. Collected by Lam Ka Chun (Raymond).
- Tree Automata Techniques and Applications
- An evolving web text in PostScript and PDF, with related software.