Retrenchment: An engineering variation on refinement (1998)

by R Banach, M Poppleton
Venue:in 2nd International B Conference