Solving Recursive Domain Equations with Enriched Categories (1994)

by Kim Ritter Wagner, Stephen Brookes, John C. Reynolds