Title: Theory and Practice of Refinement