An Automated Software Design Assistant. - Karimi, Jahangir; Konsynski, Benn R. (IEEE Trans. Software Eng., 1988)