中島玲二著
数理情報学入門　スコット・プログラム理論
朝倉書店　数理科学ライブラリー３
なんてどうでしょうかね？