@techreport{weko_33203_1,
   author	 = "櫟粛之",
   title	 = "形式的検証機能を備えたインターネットエージェントプログラミングシステム",
   year 	 = "2005",
   institution	 = "日本電信電話株式会社NTTコミュニケーション科学基礎研究所",
   number	 = "93(2005-MPS-056)",
   month	 = "sep"
}