Formal methods to aid the evolution of software (1995)

by Martin Ward, Keith Bennett
Venue:International Journal of Software Engineering and Knowledge Engineering