論理言語を作る
書籍：論理学を作る
著者：戸田山和久
この本の良い処は、事前知識を全く必要とせず、
それでいて、細かいフォローが随所に行き届いているところだ。
DIY本としても完成度が高い。
書籍：ブール代数
著者：R.L>グッドステインブール代数 (1971年)
読者は、等号＝を定義できるだろうか
そう言った「論理学を作る」の内容では足りない部分を
補完するために用いた。
アセンブラマシンを作る
書籍：プログラミング言語を作る
筆者：前橋和弥
くだけた説明で、理論は控えめに、実装方法について詳細に書かれている
書籍：インタプリンタ開発
著者：林晴比古
実装コードが充実しており、小分けにしてあるので、読みやすい
書籍：コンパイラ
中田育男
上記２冊より、理論的な部分が充実