Solutions of functorial and non-functorial metric domain equations (1995)

by F Alessi, P Baldan, G Bellè, J J M M Rutten
Venue:In Mathematical Foundations of Programming Semantics, Eleventh Conference. Elsevier Science