On the Foundations of Final Semantics: Non-Standard Sets (1992)

by J J M M Rutten, D Turi
Venue:Metric Spaces and Partial Orders, Semantics: Foundations and Applications, REX Workshop Beekbergen