1. E.M. Clarke. Proving correctness of coroutines without history variables. Acta Informatica, 13: 169–188, 1980.
2. M. Clint. Program proving: Coroutines. Acta Informatica, 2: 5063, 1973.
3. N. Dershowitz and J.-P. Jouannaud. Rewriting systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 243–320, Amsterdam, 1990. Elsevier.
4. Hoa72] C.A.R. Hoare. Towards a theory of parallel programming In C.A.R. Hoare and R.H. Perrot, editors, Operating Systems Techniques,pages 61–71. Academic Press, 1972.
5. C.A.R. Hoare. Parallel programming an axiomatic approach. Computer Languages, 1: 151–160, 1975.