Journal of algorithms (Academic Press)