1. Baier, C., Katoen, J.: Principles of Model Checking. MIT Press, Cambridge (2008)
2. Barthe, G., D’Argenio, P.R., Rezk, T.: Secure information flow by self-composition. In: Proceedings of the 17th IEEE Workshop on Computer Security Foundations, CSFW 2004, pp. 100–114. IEEE Computer Society (2004)
3. Lecture Notes in Computer Science;F Biondi,2018
4. Lecture Notes in Computer Science;F Biondi,2017
5. Lecture Notes in Computer Science;F Biondi,2015