A core principle throughout is invariance, which the authors consider a key for the mastery of change, whether in the form of extensions, transformations, or abstractions.

This textbook is suitable for undergraduate and graduate courses in computer science and for self-study.