AnnoDomini: From Type Theory to Year 2000 Conversion Tool. - Peter Harry Eidorff; Fritz Henglein; Christian Mossin; Henning Niss; Morten Heine Sørensen; Mads Tofte (POPL, 1999)

AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem. - Peter Harry Eidorff; Fritz Henglein; Christian Mossin; Henning Niss; Morten Heine Sørensen; Mads Tofte (TLCA, 1999)