Fixed point constructions in order-enriched categories (1979)

by Mitchell Wand
Venue:Theoretical Computer Science