マジな奴が最初によむべきなのは
計算論入門（米崎、渡辺）
東工大の黄色い奴ね