Text this: On the refinement calculus /