1. Letichevsky, A.A., Kapitonova, J.V., Volkov, V.A., Chugajenko, A., Chomenko, V., Gilbert, D.R.: The development of interactive algorithms for a mathematical environment. In: Armando, A., Jebelean, T. (eds.) CALCULEMUS 1999, Systems for Integrated Computtion and Deduction. Electronic Notes in Theoretical Computer Sciences, pp. 33–50 (1999), http://www.elsevier.nl/locate/entcs
2. Abramsky, S.: A domain equation for bisimulation. Information and Computation 92(2), 161–218 (1991)
3. Lecture Notes in Computer Science;S. Abramsky,1996
4. Mason, I.A., Talkott, C.L.: Actor languages their syntax, semantics, translation, and equivalence. Theoretical Computer Science 220(2), 409–467 (1999)
5. Bergstra, J.A., Klop, J.W.: Process algebra for synchronous communication. Information and Control 60(1/3), 109–137 (1984)