"Termination combinators forever."

Maximilian C. Bolingbroke, Simon L. Peyton Jones, Dimitrios Vytiniotis (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics