Journal of algorithms.