Logics for Computer Science - Anita Wasilewska (Springer, 2018)