1. Darondeau,Ph. An enlarged definition and complete axiomatization of observational congruence of finite processes, LNCS 137, pp. 47–62, 1982.
2. De Nicola,R. and Hennessy,M. Testing equivalences for processes, Technical Report CSR-123-82, University of Edinburgh.
3. Goguen,J.A., Thatcher,J.W., Wright,J.B. Initial algebra semantics and continuous algebras, JACM Vol. 24, No. 1, pp. 68–95, 1977.
4. Guessarian,I. Algebraic semantics, LNCS 99, 1981.
5. Hennessy,M. Powerdomains and nondeterministic recursive definitions, LNCS 137, pp. 178–193, 1982.