Frequency (radio). Production of accurate one-second time intervals; by William D. George.