Ward, Martin and Keith Bennett "Formal Methods to Aid the Evolution of Software" International Journal of Software Engineering and Knowledge Engineering , 5(1):25-47, 1995.
(1995)
Languages mentioned
WSL
{1989} Wide Spectrum Language