Fixpoint operators for domain equations (2002)

by J Power, G Rosolini
Venue:Theor. Comput. Sci