@techreport{weko_40806_1,
   author	 = "谷口,健一",
   title	 = "代数的言語の意味論と代数的手法によるソフトウェア設計開発",
   year 	 = "1992",
   institution	 = "大阪大学基礎工学部情報工学科",
   number	 = "87(1992-FI-028)",
   month	 = "nov"
}