Journal of algorithms (Academic Press, 1980)