An operational semantics for meta and reflective GHC based on a simple formal expression framework - Shen, Han; Tanaka, Jiro (1991)