Browser does not support script.
Al-Zobaidi, Zaid (2014). Coherent minimisation: aggressive optimisation for symbolic finite state transducers. University of Birmingham. Ph.D.