دانلود کتاب Transformation-Based Reactive Systems Development: 4th International AMAST Workshop on Real-Time and Concurrent Distributed Software, ARTS’97 Palma, Mallorca, Spain, May 21–23, 1997 Proceedings