@article{oai:repository.dl.itc.u-tokyo.ac.jp:02005736,
 author = {FUJITA, Masahiro and 藤田, 昌宏},
 journal = {Journal of the School of Engineering, the University of Tokyo = 東京大学工学部・工学系研究科紀要},
 month = {},
 pages = {55--67},
 title = {Formal Verification Based on Recurrence Equations and Equivalence Checking},
 volume = {47},
 year = {2000}
}