@article{oai:ipsj.ixsq.nii.ac.jp:00005829,
 author = {雨宮, 真人 and 丸山, 充 and Amamiya, Makoto and Maruyama, Mitsuru},
 issue = {5},
 journal = {情報処理},
 month = {May},
 title = {新しいプログラミング・パラダイムによる共通問題の設計：関数型言語Validによる在庫管理システムの記述},
 volume = {26},
 year = {1985}
}