Changing Programs Correctly: Refactoring with Specifications.

Fabian Bannwart, Peter Mller

Browse the full FM paper archive.