1. Prometheus Official Documentation. "Querying Prometheus - Aggregation operators". The documentation explicitly states that sum() calculates the sum over dimensions. This directly supports its use for calculating the total from multiple series. (Available at: https://prometheus.io/docs/prometheus/latest/querying/operators/#aggregation-operators, Section: sum (calculate sum over dimensions))
2. Prometheus Official Documentation. "Querying Prometheus - Functions". This section details sumovertime(), clarifying that it operates on a range vector for a single series to calculate the sum of its values over time, which is different from aggregating across multiple series. (Available at: https://prometheus.io/docs/prometheus/latest/querying/functions/#sumovertime)
3. UC Berkeley, CS 162 Operating Systems and System Programming, Lecture 22. "Monitoring (Prometheus)". The lecture notes describe Prometheus metrics and the use of aggregation functions like sum() to combine data from multiple targets, such as different server instances, into a meaningful total. (Available at: https://cs162.eecs.berkeley.edu/static/lectures/22-Monitoring.pdf, Slide 48, "Example PromQL Queries")