Formal metods for open object based distributed systems - Howard Bowman , John derrick (Chapman & Hall, 1997)