Declarative Models of Concurrent Cyclic Processes - Grzegorz Bocewicz - Inbunden | Bokus