@techreport{weko_30854_1,
   author	 = "中島,俊介 and 長谷川,晴朗",
   title	 = "ペトリネットで表現されたGHCプログラムの実行履歴",
   year 	 = "1990",
   institution	 = "沖通信システム株式会社, 沖電気工業株式会社",
   number	 = "91(1990-PRO-057)",
   month	 = "nov"
}