1. Apt, K.-R., Olderog, E.-R.: Verification of Sequential and Concurrent Programs, 2nd edn. Springer, Heidelberg (1997)
2. Clenaghan, K.: Calculational graph algorithmics: Reconciling two approaches with dynamic algebra. Technical Report CS-R9518, CWI, Amsterdam (1994)
3. Lecture Notes in Computer Science;E. Cohen,2000
4. Desharnais, J., Möller, B., Struth, G.: Kleene algebra with domain. Technical Report 2003-07, Universität Augsburg, Institut für Informatik (2003)
5. Desharnais, J., Möller, B., Struth, G.: Applications of modal Kleene algebra – a survey. Technical Report DIUL-RR-0401, D´epartement d’informatique et de g´enie logiciel, Universit´e Laval, Qu´ebec (2004)