Pierpaolo Degano, Stefano Kasangian, Sebastiano Vigna. Applications of the Calculus of Trees to Process Description Languages. In David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts, Axel Poigné, David E. Rydeheard, editors, Category Theory and Computer Science, 4th International Conference, Paris, France, September 3-6, 1991, Proceedings. Volume 530 of Lecture Notes in Computer Science, pages 282-301, Springer, 1991.