Integrating Static and Dynamic Aspects in the Specification of Open, Objectbased and Distributed Systems (1997)

by Simone Veglioni