1. Deus ex machine http://www.ics.uci.edu/savoiu/dem/.Website. Deus ex machine http://www.ics.uci.edu/savoiu/dem/.Website.
2. Ganimal http://rw4.cs.uni-sb.de/ganimal/.Web site. Ganimal http://rw4.cs.uni-sb.de/ganimal/.Web site.
3. Turing's world http://www-csli.stanford.edu/hp/logic-software.html. Web site. Turing's world http://www-csli.stanford.edu/hp/logic-software.html. Web site.
4. Webworks laboratory http://www.cs.montana.edu/webworks. Web site. Webworks laboratory http://www.cs.montana.edu/webworks. Web site.
5. A collection of tools for making automata theory and formal languages come alive