Selected papers from an international workshop (FMOODS '96), Paris, March 1996.
Formal methods for open object-based distributed systems. ISBN 0412797704. Published by Chapman & Hall on behalf of the International Federation for Information Processing in 1997. Publication and catalogue information, links to buy online and reader comments.