Ward, M. "Proving Program Refinements and Transformations", Oxford University, DPhil Thesis, 1989.
(1989)
Languages mentioned
WSL
{1989} Wide Spectrum Language