Tʻien-kung Tung

• Tʻai hai chien wen lu
• Wu-i shan chih