Denotational semantics for programming languages, balanced quasi-metrics and fixed points | Publicación