On the foundations of semantics: Nonstandard sets, metric spaces, partial orders (1998)

by D Turi, J Rutten
Venue:Mathematical structures in computer science