「コンピュ-タ基礎理論ハンドブック - 形式的モデルと意味論」って、この第二分冊？
　http://www.maruzen.co.jp/cgi-bin/mis?Cgifrom=m2-ezy-03&MBN=MJ94008073&Dbs=MPW

＃だいぶ前に、bitでネタになってたような