Solutions to some exercises of the Dragon Book