[1] K. R. Apt and F. S. de Boer and E.-R. Olderog: Verification of Sequential and Concurrent Programs, 3rd Edition, Springer Verlag, London, 2009
[2] K. R. Apt Recursive assertions and parallel programs, Acta Informatica 15, 1981, pp. 219-232
[3] P. Cousot: Methods and logics for proving Programs, in J. van Leeuwen (ed.), Handbook of Computer Science, vol. B, pp. 843-993, B.V. North-Holland, Amsterdam, The Netherlands, 1990
[4] J.W. de Bakker and D. Scott: A theory of programs, 1969, Unpublished notes
[5] N. Francez: Program Verification, Addison Wesley Publishing Company, Reading, Massachusetts, 1992
[6] S. Ghosh: Distributed Systems, Chapman & Hall/CRC, Boca Raton, Florida, 2007
[7] L. Lamport: Proving the correctness of multiprocess, IEEE Transactions on Software Engineering, 1977, pp. 125-143
[8] N. Lynch: Distributed Algorithms, Morgan Kaufmann, Burlington, Massachusetts, 1996
[9] S. Owicki and D. Gries: An axiomatic proof technic for parallel programs, Acta Informatica 6, 1976, pp.319-340
[10] Terese: Term Rewriting Systems, Cambridge University Press, Cambridge, UK, 2003
[11] G. Winskel: Formal Semantics of Programming Languages, The MIT Press, Cambridge, Massachusetts, 1993