Representations of local time of day for information interchange. (U.S. Dept. of Commerce/National Bureau of Standards, 1988)