Formal Methods for Open Object-Based Distributed Systems by Martin Steffen | Menrva Books | MenrvaBooks