1. Internet Engineering Task Force (IETF). (1998). RFC 2328: OSPF Version 2. Section 1.2
"Protocol overview". This document states
"OSPF runs directly over the internet protocol layer... OSPF does not use a transport protocol (such as UDP or TCP). OSPF has been assigned IP protocol number 89."
2. Internet Engineering Task Force (IETF). (1990). RFC 1195: Use of OSI IS-IS for routing in TCP/IP and dual environments. Section 3
"Encapsulation". This standard specifies
"IS-IS protocol data units (PDUs) shall be encapsulated in the data link frames... On broadcast links such as Ethernet... IS-IS PDUs are transmitted in standard LAN frames."
3. Doyle
J.
& Carroll
J. (2005). Routing TCP/IP
Volume 1 (2nd ed.). Cisco Press. Chapter 11
"IS-IS for IP Networks"
p. 638. The text explicitly contrasts the two protocols: "Whereas OSPF packets are encapsulated in IP packets
IS-IS PDUs are encapsulated directly into data-link frames." This book is a standard reference in advanced networking courses.