Lazy call-by-value evaluation | Publicación