Formal Methods for Open Object-Based Distributed Systems by Marcello M. Bonsangue | Menrva Books | MenrvaBooks