Retrenchment: An engineering variation on refinement (1998)

by R Banach, M Poppleton
Venue:2nd International B Conference, volume 1393 of LNCS