Applicative communicating processes in first order logic | Publicación