You are about to access our book library "Design, Specification and Verification of Interactive Systems ’95: Proceedings of the Eurographics Workshop in Toulouse, France, June 7–9, 1995 full version" .