単行本(実用) コンピュータ プログラム意味論の基礎 / 小林直樹 プログラミング・開発