A semantics for tracing declarative multi-paradigm programs | Publicación