@article{weko_5081_1,
   author	 = "深澤,良彰",
   title	 = "新しいプログラミング環境：プログラム設計環境のツール : 形式的仕様記述言語とその支援ツール",
   journal	 = "情報処理",
   year 	 = "1989",
   volume	 = "30",
   number	 = "4",
   month	 = "apr"
}