A simple operational semantics for full GHC - Shen, Han; Tanaka, Jiro (1991)