Gao, Y. Formal representation of acupuncture : concept, theory and logic. (Thesis). University of Salford