Berg, Marchi, 2007. Models of non-well-founded sets via an indexed final coalgebra theorem 72.. https://doi.org/10.2178/jsl/1191333841