王長文
『晋書』巻82 列伝第52
『華陽国志』巻11