Retrenchment: an engineering variation on refinement (1998)

by Richard Banach, Mike Poppleton
Venue:In: 2nd Intl. B Conference, LNCS 1393