Five Thousand Dictionary: a Chinese-English Pocket Dictionary & Index to the Character Cards of the College of Chinese Studies