Information and software technology (Butterworths, 1987)