Shoku Nihongi
His stay has been noted in the official history records called the Shoku Nihongi, where he is referred to as Bodai-Senna.