Formal Methods for Open Object-Based Distributed Systems VArend Rensink, Bart Jacobs E-bok20131 455 kr