@techreport{weko_22568_1, author = "橋本正明", title = "EARモデルに基づく情報構造記述を用いたプログラム仕様記述法PSDM", year = "1985", institution = "電電公社横須賀研究所", number = "64(1984-SE-040)", month = "feb" }