" An introduction to computer science: an algorithmic approach " / Jean-Paul Tremblay, John M. DeDourek, Richard B. Bunt