Maintaining Consistency Under Changes to Formal Specifications.

Kelvin J. Ross, Peter A. Lindsay

Browse the full FM paper archive.