小林・住井『プログラム意味論の基礎』
プ意味論基礎1.1
プ意味論基礎1.2
2章
整礎帰納法と構造的帰納法
4章
プログラム意味論の基礎 命題4.1