《汉书·律历志下》：“《殷历》曰：当 成汤 方即世用事十三年，十一月甲朔旦冬至，终六府首。”

颜师古 注：“府首即蔀首。”