Reduction Calculus