《淵穎集》

吳萊 雜録
王樸五代《欽天曆》又謂蝕神首尾僅行於民間,小曆而已。