1. Andréka, H., Neméti, I., Sain, I.: Universal Algebraic Logic, 1st edn. Studies in Universal Logic. Springer, Heidelberg (to appear)
2. Bergstra, J.A., Klop, J.W.: ACPτ: a universal axiom system for process specification, pp. 447–463 (1989)
3. Lecture Notes in Computer Science,1978
4. Bolognesi, T., Brinksma, E.: Introduction to the ISO specification language LOTOS. Comput. Netw. ISDN Syst. 14(1), 25–59 (1987)
5. Briscoe, G.: D6.1-Entropy-Based Complexity Measure for the Evolution-Based Self-Organisation of Agent Populations. DBE Project (2004), http://files.opaals.org/DBE/deliverables