Hongjue min chan shi bei you ji 6 juan - Zhenpu Shi, fl. 1671 (Beijing chu ban she, 2005)
"Minguo Yanjing da xue tu shu guan chao ben."