Notes reading the Dragon Book.