@techreport{weko_33520_1,
   author	 = "PUJIANTO,YUGOPUSPITO and KEIJIRO,ARAKI",
   title	 = "Transformational Object - Relational Database Model in Formal Methods",
   year 	 = "2000",
   institution	 = "九大, 九大",
   number	 = "108(2000-MPS-032)",
   month	 = "nov"
}