Formalizing calendars with the category of ordinals
scientific article; zbMATH DE number 1880511