@techreport{weko_22515_1, author = "橋本正明 and 伊吹公夫", title = "プログラム仕様記述法PSDMを用いたプログラム量産化", year = "1986", institution = "NTT電気通信研究所, NTT電気通信研究所", number = "7(1985-SE-046)", month = "feb" }