Poke here for the The Grail Papers: Version 2.3 (January 1995)
Poke here for the paper `Grail: A C++ Library for Automata and Expressions', Journal of Symbolic Computation 17 p. 341-350 (1994)
Poke here for Charlton Wang's review of Turing's World.