Stav dette: Journal of algorithms.