Minimization of symmetric difference finite automata - Muller, Graham (2006)
Thesis (MSc (Computer Science))--University of Stellenbosch, 2006.