Hi
Depending on just what sort of DMTD you are after, there are an enormous number
of JPL reports on their system. They range from papers that are basically
operating manuals (when this happens that shows up on the screen) to deep dives
on obscure math. If you are not after a 100 Hz system
Here's a list of papers I have found on DMTD system designs
that have some inside details. If you know of others, please
add for future reference. Brian - KD4FM
Papers on Dual-Mixer Time-Difference systems:
Some Aspects of the Theory and Measurement of Frequency
Fluctuations in Frequency
NIST Technical Note 1337: Characterization of Clocks and
Oscillators. It's basically a Time-Nuts Textbook that includes some of
the papers you mention as well as many others. 1990 - 22MB - 357 pages.
http://tf.boulder.nist.gov/general/pdf/868.pdf
The NIST Time Frequency Publication