Journal of computer and system sciences.