Liangwei Xu Hideya Iwasaki Masato Takeichi Derivation of Algorithms by Introduction of Generation Functions. 75-98 1994 13 New Generation Comput. 1 db/journals/ngc/ngc13.html#XuIT94