@misc{oai:repository.dl.itc.u-tokyo.ac.jp:00002983,
 author = {後藤, 滋樹},
 month = {Feb},
 title = {構成的論理に基づくプログラムの合成と解析の研究},
 year = {1991}
}