Advances in software science and technology. (Academic Press, 1993)