A Lightweight Combination of Semantics for Non-deterministic Functions | Publicación