On the Size of Deterministic Finite Automata. - Borivoj Melichar; Jan Skryja (CIAA, 2001)