Gao, Y, "Formal representation of acupuncture : concept, theory and logic", ,