@techreport{weko_31031_1,
   author	 = "稲田良造 and 萩原剛志 and 井上,克郎 and 菊野,亨 and 鳥居,宏次",
   title	 = "ジャクソン開発法の形式的記述の詳細化とその実行",
   year 	 = "1988",
   institution	 = "大阪大学基礎工学部, 大阪大学基礎工学部, 大阪大学基礎工学部, 大阪大学基礎工学部, 大阪大学基礎工学部",
   number	 = "94(1988-PRO-027)",
   month	 = "dec"
}