"Functional pearl: streams and unique fixed points."

Ralf Hinze (2008)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics