ＶＤＭ＋＋による形式仕様記述

形式仕様入門・活用の第一歩　 トップエスイー実践講座