NIST time and frequency services - Beehler, Roger E. (NIST special publication ;, 1991)