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

by P America, J J M M Rutten
Venue:J. Comput. Syst. Sci