Non-well-founded sets modelled as ideal fixed points (1991)

by M Mislove, F Oles, L Moss
Venue:Information and Computation