@techreport{weko_31529_1,
   author	 = "宮本衛市 and 堀川博史",
   title	 = "Pascal Machineを仮想したデバッギングシステムINSIDER",
   year 	 = "1980",
   institution	 = "北大工学部, 三菱電機",
   number	 = "9(1980-PRO-012)",
   month	 = "jun"
}