A proposal for reflective GHC - Tanaka, Joro; Matono, Fumio (1990)