@article{oai:tsukuba.repo.nii.ac.jp:00037083,
 author = {大須賀, 昭彦 and 坂井, 公 and SAKAI, Ko and 本位田, 真一},
 issue = {11},
 journal = {情報処理学会論文誌, IPSJ Journal},
 month = {Nov},
 pages = {2242--2250},
 title = {Metis - ASにおける代数的仕様の検証手続き},
 volume = {34},
 year = {1993},
 yomi = {サカイ, コウ}
}