Formal methods for open object-based distributed systems by Roberto Gorrieri | Menrva Books | MenrvaBooks