Fixed-point constructions in order-enriched categories. Theoretical Computer Science (1979)

by M Wand