Journal of Computer and System Sciences (Academic Press.)