Formal methods for open object based distributed systemsMartin SteffenUitverkochtHou mij op de hoogte