A. N. Trahtman: Piecewise and Local Threshold Testability of DFA. FCT 2001: 347-358