R. Leißa, M. Köster, and S. Hack, A graph-based higher-order intermediate representation, in Proceedings of the 13th Annual IEEE/ACM International Symposium on Code Generation and Optimization, pp. 202–212, IEEE Computer Society, 2015.
http://compilers.cs.uni-saarland.de/papers/lkh15_cgo.pdf