Madeira A, Descalço L, Martins M.? 2010.??Applying abstract algebraic logic to classical automata theory: an exercise. Computability in Europe.