Logic in Computer Science: Modeling and Reasoning about Systems, 2nd edition, Michael Huth, Mark Ryan, Cambridge University Press, 2004.
Model Checking,Edmund M. Clarke, O. Grumberg, Doron A. Peled, MIT Press, 2000.
Systems and Software Verification: Model-Checking Techniques and Tools, B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen, Springer, 2001.
Practical Foundations for Programming Languages, 2nd edition, Robert Harper, Cambridge University Press, 2016.
Verification of Sequential and Concurrent Programs, 3rd edition, Krzysztof R.Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, Springer, 2009.