1. ARNOLD, A., NIVAT, M., The metric space of infinite trees, algebraic and topological properties, Fund. Inform. III, 4, pp 445–476, 1980.
2. DE BAKKER, J.W., Mathematical theory of program correctness, Prentice Hall International, 1980.
3. DE BAKKER, J.W., KLOP, J.W., MEYER, J.-J.CH., Correctness of programs with function procedures in Logic of Programs, LNCS 131, proceedings 1981, Kozen, D., Springer, 1982.
4. DE BAKKER, J.W., ZUCKER, J.I., Compactness in semantics for merge and fair merge in Logic of Programs, LNCS 164, proceedings 1983, Kozen, D., Clarke, E., Springer, 1983.
5. de BAKKER, J.W., ZUCKER, J.I., Processes and the denotational semantics of concurrency, Information and Control, 54, pp 70–120, 1982.