RFC 7142: Reclassification of RFC 1142 to Historic
RFC 1142: OSI IS-IS Intra-domain Routing Protocol
Intermediate System to Intermediate System
Reclassification of RFC 1142 to Historic