Ward, M. "Foundations for a Practical Theory of Program Refinement and Transformation" Durham University, Technical Report, 1994.
(1994)
Languages mentioned
WSL
{1989} Wide Spectrum Language