はねたさんのページ

同シリーズのプログラム意味論とともによく良書と言われている。 プログラム意味論が復刊したので、ぜひこちらも読みたい。