D. J. Bernstein
Time
Software
clockspeed: adjust the speed of the system clock
libtai: store and manipulate dates and times
Protocols
UTC, TAI, and UNIX time
TAICLOCK
Y2K and other time bombs
The TAI64 specification
is now one of the libtai web pages.