Refinement methods and refinement calculi. - H. J. Litteck; Peter J. L. Wallis (Softw. Eng. J., 1992)