"Professional and trade magazines" . "Automata (computation)" . "Evaluation methods" .