Algorithms and complexity. - Traub J F Ed. (1976)