Koichi Furukawa Akira Okumura Masaki Murakami Unfolding Rules for GHC Programs. 143-157 1988 6 New Generation Comput. 2&3 db/journals/ngc/ngc6.html#FurukawaOM88