1. RUCKUS FastIron Layer 3 Routing Configuration Guide, 08.0.95, Chapter 25: Configuring IP Multicast, section "IGMPv2", page 628. The document states, "IGMPv2 adds a Leave Group message to the protocol. When a host wants to leave a multicast group, it sends a Leave Group message to the all-routers multicast group (224.0.0.2)."
2. IETF RFC 2236, "Internet Group Management Protocol, Version 2", November 1997, Section 1: Introduction. This RFC, which defines the protocol, explicitly states: "Version 2 of IGMP adds a 'leave group' message to allow a host to inform a router that it wishes to leave a multicast group..."
3. Kurose, J. F., & Ross, K. W. (2017). Computer Networking: A Top-Down Approach (7th ed.). Pearson. In Chapter 4, Section 4.7.2, the text explains the IGMP protocol, noting that IGMPv2 (and v3) added messages that allow a host to explicitly signal it is leaving a group, an improvement over IGMPv1's timeout-based approach.