Stephen Beer Ian Sommerville Software Design Automation in an IPSE. 89-97 1987 conf/esec/1987 ESEC db/conf/esec/esec87.html#BeerS87