Desenvolvimento de um circuito em Handel-C para experiências com máquinas de estados finitos - Arrais, Joel (2003)