"Transformation-Based Reactive Systems Development: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, ... " - читать интересную книгу автора (Miquel Bertran, Teodor Rus)