by J. W. de Bakker, W.-P. de Roever, Grzegorz Rozenberg, J. W. De Bakker, W. P. De Roever
"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 exe…