"The effect of mathematical vs. verbal formulation for finite automata."

Tali Dror, Dafna Levi Rashti (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics