Peter Harry Eidorff Fritz Henglein Christian Mossin Henning Niss Morten Heine Sørensen Mads Tofte AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem. 6-13 http://link.springer.de/link/service/series/0558/bibs/1581/15810006.htm 1999 conf/tlca/1999 TLCA db/conf/tlca/tlca99.html#EidorffHMNST99