- Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics)
- Wu Ding (Li Jia Tong Gu Shi Hui Ben)
- Shan Gu Li de Ding Xiang Hua ( Li Jia Tong Gu Shi Hui Ben)
- Let the Tall Wall Crumble ('Rang gao qiang dao xia ba', in traditional Chinese, NOT in English)
- Strangers ('Mo sheng ren', in traditional Chinese, NOT in English)