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

by P H M America, J J M M Rutten
Venue:Journal of Computer and System Science