《開元占經》

論天體象者凡有八家一曰渾天即今所載張衡《靈憲》是也。二曰宣夜絶無師學。三曰蓋天《周髀》所載。四曰軒天，姚信所説。五曰穹天虞聳所擬。六曰安天虞喜所述。七曰方天王充所論八曰四天，襖胡寓言。