1. ~ABRAMSKY S. 1989. Observation equivalence as a testing equivalence. Theoret. Comput. Scz. 53 ~225-241. 10.1016/0304-3975(87)90065-X ~ABRAMSKY S. 1989. Observation equivalence as a testing equivalence. Theoret. Comput. Scz. 53 ~225-241. 10.1016/0304-3975(87)90065-X
2. ~BAETEN J. C. M. 1990. Applications of process algebra. Cambridge Tract in Theoretical ~Computer Science Vol. 17. Cambridge University Press Cambridge England. ~BAETEN J. C. M. 1990. Applications of process algebra. Cambridge Tract in Theoretical ~Computer Science Vol. 17. Cambridge University Press Cambridge England.
3. ~BAETEN J. C. M. AND WEIJLAND W. P. 1990. Process Algebra. Cambridge Tract in Theoretical ~Computer Science Vol. 18. Cambridge University Press Cambridge England. ~BAETEN J. C. M. AND WEIJLAND W. P. 1990. Process Algebra. Cambridge Tract in Theoretical ~Computer Science Vol. 18. Cambridge University Press Cambridge England.