The stepwise refinement method postulates a system construction route that starts with a high-level specification, goes through a number of provably correct development steps, and ends with an executable program. The contributions to this volume survey the state of the art in this active research area. State-based, algebraic, temporal logic-oriented and category theory-oriented approaches are presented. Special attention is paid to the relationship between compositionality and refinement for distributed programs.