@techreport{weko_22326_1,
   author	 = "小山田正史 and 岩戸伝一",
   title	 = "ソフトウェア動作仕様の段階的設計技法とその支援系",
   year 	 = "1990",
   institution	 = "情報処理振興事業協会・技術センター, 情報処理振興事業協会・技術センター",
   number	 = "10(1989-SE-071)",
   month	 = "feb"
}