Formal Methods for Open Object-Based Distributed SystemsElie Najm, Uwe Nestmann, Perdita Stevens · First published 2003Open the Tome