A unified theory of coherent digital systems which track Doppler frequency Interim technical report