A thesis submitted in total fulfillment of the requirements for the degree of Doctor of Philosophy to the Department of Mathematical and Physical Sciences, School of Computing, Engineering and Mathematical Sciences, Office of the Provost, La Trobe University, Victoria, Australia.
This thesis was a recipient of the Nancy Millis Award for theses of exceptional merit.