@techreport{weko_22388_1,
   author	 = "大蒔,和仁 and 二木,厚吉",
   title	 = "図書館の問題とエレベータの問題のLOTOSによる仕様記述",
   year 	 = "1989",
   institution	 = "電子技術総合研究所, 電子技術総合研究所",
   number	 = "11(1988-SE-064)",
   month	 = "feb"
}