@article{weko_4941_1, author = "若原,恭", title = "通信システムの形式記述技法の標準化:SDL言語の特質と処理系の現状と動向", journal = "情報処理", year = "1990", volume = "31", number = "1", month = "jan" }