Tatsuya Abe, Takashi Higuchi, Rintaro Imai, Yoshiki Kinoshita, Satoshi Nakano, Keishi Okamoto, Masaya Saito, Makoto Takeyama [著]Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology2009.7<M159-B97>