A small final coalgebra theorem
scientific article; zbMATH DE number 1495224