Solving reflexive domain equations in a category of complete metric (1989)

by Pierre America, Jan Rutten
Venue:J. Comput. System Sci