Time and frequency users manual - Kamas, George (NIST special publication ;, 1990)