Exploring Summation and Product Operators in the Refinement Calculus.

Ralph-Johan Back, Michael J. Butler

Browse the full MPC paper archive.