Object-Oriented Specification with the Parallel Multi-Label-Selective λ-calculus | Publicación