Toolbox: A Complete Software Engineering Environment; Top Drawer. - David Sharon; Tracey Anderson (IEEE Softw., 1997)