@techreport{weko_28271_1, author = "甲村,康人 and 石浦,菜岐佐 and 矢島,脩三", title = "非決定性順序機械によるハードウェア記述言語の意味付けについて", year = "1989", institution = "京都大学工学部, 京都大学工学部, 京都大学工学部", number = "108(1989-SLDM-050)", month = "dec" }