진서
Two chapters in the (648) "Book of Jin" record the meeting between Ruan Ji and Sun Deng.