VDM++ (ブイディーエムプラスプラス) によるオブジェクト指向システムの高品質設計と検証 / ジョン・フィッツジェラルド, ピーター・ゴルム・ラーセン, ポール・マッカージー, ニコ・プラット, マーセル・バーホフ 著 ; 酒匂寛 訳