This first book on this topic is a comprehensive reference on the state of the art. The topics addressed include counterpoint, the first-species model, quasipolarities and interval dichotomies, graphs and transformations, and hypergesture homology. The theory presented also develops counterpoint models for new consonance-dissonance dichotomies. The book is suitable for graduate courses, the authors have a supporting Java implementation available online.