Stav dette: Journal of computer and system sciences.