@techreport{weko_22259_1,
   author	 = "金子,剛 and 川瀬,智 and 坂本,正毅 and 佐伯,元司",
   title	 = "LOTOSによるソフトウェアプロセスの形式的記述法",
   year 	 = "1991",
   institution	 = "東京工業大学工学部, 東京工業大学工学部, 東京工業大学工学部, 東京工業大学工学部",
   number	 = "21(1990-SE-078)",
   month	 = "mar"
}