Richard Banach Michael Poppleton Retrenchment: An Engineering Variation on Refinement. 129-147 1998 conf/b/1998 B http://link.springer.de/link/service/series/0558/bibs/1393/13930129.htm db/conf/b/b1998.html#BanachP98