Larsen, K. S. “On Aggregation and Computation on Domain Values”. DAIMI Report Series, vol. 21, no. 414, Sept. 1992, doi:10.7146/dpb.v21i414.6727.