プログラム意味論 - 共立出版
横内 寛文 著