On the Foundations of Final Semantics (1993)

by D Turi J J M M Rutten
Venue:Non-Standard Sets, Metric Spaces, Partial Orders, REX Conference Proceedings, J.de Bakker et al. eds., Springer LNCS 666