This page has moved to a new address.
Cool4Cats paper Automata