Monadic concurrent linear logic programming | Publicación