The author is supported by the Horizon Doctoral Training Centre at the University of Nottingham (RCUK Grant No. EP/G037574/1) and by the RCUK's Horizon Digital Economy Research Institute (RCUK Grant No. EP/G065802/1)

Tools used include: the Scala programming language, JFLAP, AGG from TU Berlin (site no longer online), Sencha Touch, Jerkson and lots of perl. My sincere thanks go to all who have made their tools available for use.