The measurement calculus