Sam M. Kim, Robert McNaughton: An Efficient Algorithm for Local Testability Problem of Finite State Automata. COCOON 1995: 597-606