On the foundations of final semantics: nonstandard sets, metric spaces, partial orders (1993)

by J J M M Rutten, D Turi
Venue:Lecture Notes in Comput. Sci. 666