1. L. Aceto, M. Hennessy, Termination, deadlock and divergence, to appear in J. Assoc. Comput. Mach..
2. K. Apt, Efficient computing of least fixpoints, TR-88-33, Univ. Texas, Austin (1988).
3. K.R. Apt, H. Blair, A. Walker, Towards a theory of declarative knowledge, presented at the Workshop on Deductive data bases and logic programming, Washington D.C. (August 1986).
4. A. Arnold, M. Nivat, The metric space of infinite trees: Algebraic and Topological properties, Fund. Inform. 3 (1980), 445–476.
5. J. Bergstra, J. Klop, Algebra of communicating processes, Proc. CWI Symposium Mathematics and Computer Science, J. de Bakker, M. Hazenwinkel and J. Lenstra, eds. (1986).