RFC 1129, "Internet Time Synchronization: The Network Time Protocol"

is not available in ASCII format.  It is available in PostScript and
PDF formats in the files: rfc1129.ps and rfc1129</