Logics and Models of Concurrent Systems by Krzysztof R. Apt | Menrva Books | MenrvaBooks