The main algorithms are presented both informally and as programs in the functional language Standard ML (an appendix contains a quick and easy introduction to ML). The book contains many examples and over 170 exercises (solutions available from dtranah@. ).