Công nghiệp than Việt Nam thời kỳ 1888 - 1945 - Phạm Quang Trung, PTS.