Art of Electronics 3rd edition, Figure 1.43
RC differentiator is used to detect the leading edge of a step waveform.
In the original circuit, logic buffers are used (instead inverters).
The diode removes the negative spike (trailing edge) and according to the text they are built into the gates.
Art of Electronics 3rd edition, Figure 1.43
