This is the most thorough treatment of normal forms currently existing in book form. There is a substantial gap between elementary treatments in textbooks and advanced research papers on normal forms. This book develops all the necessary theory 'from scratch' in just the form that is needed for the application to normal forms, with as little unnecessary terminology as possible.