1. IETF RFC 1112, "Host Extensions for IP Multicasting": Section 6.4, "IP Multicast-Address to Ethernet-Address Mapping". This document specifies the standard mapping rule: "An IP host group address is mapped to an Ethernet multicast address by placing the low-order 23 bits of the IP address into the low-order 23 bits of the Ethernet multicast address 01-00-5E-00-00-00."
2. Nokia 7750 SR OS Services Guide, Release 19.10.R1: In the "IP Multicast" chapter, under the "Layer 2/3 Multicast Forwarding" section, the guide states: "The IANA owns an Ethernet MAC address block, 01:00:5e, for multicast... The 23 bits from the IP multicast address are mapped to the 23 variable bits of the MAC address." This confirms the mapping principle used in Nokia systems.
3. Kurose, J. F., & Ross, K. W. (2017). Computer Networking: A Top-Down Approach (7th ed.): Chapter 4, Section 4.6.1, "The Internet's Network-Layer Forwarding Architecture". The textbook explains that for IP multicast, the low-order 23 bits of the IP multicast address are placed in the low-order 23 bits of a special range of Ethernet addresses starting with 01:00:5E.