コンパイラの理論と実現 (計算機科学・ソフトウェア技術講