@article{oai:tsukuba.repo.nii.ac.jp:00037085,
 author = {大須賀, 昭彦 and 坂井, 公 and SAKAI, Ko and 本位田, 真一},
 issue = {5},
 journal = {情報処理学会論文誌, IPSJ Journal},
 month = {May},
 pages = {1192--1202},
 title = {代数的仕様を用いたソフトウェア開発支援環境：Metis - AS},
 volume = {36},
 year = {1995},
 yomi = {サカイ, コウ}
}