1. Bergstra, J.A., Klop, J.W., “Algebra of communicating processes,” Proc. of CWI Symposium on Mathematics and CS, 89–138, Oct. 6–7 1986.
2. Broy, M., Gnatz, R., Wirsing, M., “Semantics of Nondeterministic and Noncontinuous Constructs,” LNCS, vol. 69, Springer, 1980, pp. 553–392.
3. Broy, M., Wirsing, M., “On the Algebraic Specification of Nondeterministic Programming Languages,” in CAAP'81, LNCS, vol. 112, Springer, 1981, pp. 162–179.
4. Broy, M., “On the Herbrand Kleene universe for nondeterministic computations,” in Proc. MFCS'84, LNCS, vol. 176, Springer, 1984.
5. Chang, C.C., Keisler, H.J., Model Theory, Amsterdam, North-Holand, 1977.