Wáng Zhēn - Paterson, Duncan (Berkshire Dictionary of Chinese biography ; 2: [960 - 1644: Song Dynasty, Jurchen Jin Dynasty, Yuan Dynasty, Ming Dynasty], 2014)