Design, Specification and Verification of Interactive Systems '97: Proceedings of the | DealShopping Deutschland