@techreport{weko_30850_1,
   author	 = "岡野,浩三 and 北道,淳司 and 東野,輝夫 and 谷口,健一",
   title	 = "代数的言語ASLで記述した在庫管理プログラムとその正しさの証明　（「並行・並列・分散処理」）",
   year 	 = "1990",
   institution	 = "大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科",
   number	 = "101(1990-PRO-027)",
   month	 = "dec"
}