1. Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)
2. Birkhoff, G.: Lattice Theory, 3rd edn., vol. XXV. Colloquium Publications, American Mathematical Society (1967)
3. Carré, B.: Graphs and Networks. Oxford Univ. Press, Oxford (1979)
4. Desharnais, J., Möller, B., Struth, G.: Kleene algebra with domain. ACM Transactions on Computational Logic 7, 798–833 (2006)
5. Lecture Notes in Computer Science;R. Glück,2008