@techreport{weko_30962_1, author = "佐藤,雅彦 and 亀山,幸義", title = "SST/∧に基づく構成的プログラミング", year = "1989", institution = "東北大学電気通信研究所, 東北大学電気通信研究所", number = "75(1989-PRO-031)", month = "sep" }