Formal methods to aid the evolution of software (1995)

by K Bennett, M Ward
Venue:Journal of Software Engineering and Knowledge Engineering