Fixed point constructions in order enriched categories (1979)

by M Wand
Venue:Theoretical Computer Science