Ralph-Johan Back, Michael J. Butler: Exploring Summation and Product Operators in the Refinement Calculus. MPC 1995: 128-158