Philip Tree. A thesis submitted in partial fulfilment of the requirements for the degree Master of Computing and Mathematical Sciences at Waikato University, NewZealand. July 1999.
Copy of thesis can be found on the publications page for the WAND group at Waikato University