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