A Complete Fragment of Higher-Order Duration μ-Calculus | Publicación