In his theoretical book, Self-Similar Melodies, Tom Johnson explains the logical and mathematical techniques he uses in his composition. These include finite and infinite automata, the paper folding formula, and sequences taken from Pascal's triangle. This book is rather detailed treatment, 291 pages long, with many short melodies written to demonstrate the techniques employed.