@misc{oai:repo.lib.tut.ac.jp:00000636,
 author = {木下, 貴史},
 title = {ハ-ドウェアの代数的仕様記述に基づくマイクロプログラムの自動合成}
}