"Monotone Inductive and Coinductive Constructors of Rank 2."

Ralph Matthes (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics