Retrenchment: Extending the reach of refinement, in (1999)

by M R Poppleton, R Banach
Venue:Proc. IEEE ASE-99