Michael Machtey

• An introduction to the general theory of algorithms