Kazutaka Matsuda Zhenjiang Hu Keisuke Nakano Makoto Hamana Masato Takeichi Bidirectionalization transformation based on automatic derivation of view complement functions. 47-58 2007 conf/icfp/2007 ICFP http://doi.acm.org/10.1145/1291151.1291162 db/conf/icfp/icfp2007.html#MatsudaHNHT07