プログラム仕様記述論

VDM については、以前ちょっと興味があって調べたことがあったが、全然情報が無くて断念していた。oosquare ML で山根さんがかる〜くふってきたのをきっかけに、Google で検索してみると、2002年11月(1年前かぁ)に書籍が出版されていた！
著者の張漢明ってひとは、南山大学の助教授をやっているようだ。