FATKID : a Finite Automaton Toolkit - Huysamen, Nico (Stellenbosch : Stellenbosch University, 2012)
Thesis (MSc)--Stellenbosch University, 2012