Book of Jin
『晋書』武帝紀　太康10年（289年）条