A Calculus Supporting Contract Reasoning and Monitoring | Publicación