1. Bedau, M.A.: Weak emergence. In: Tomberlain, J. (ed.) Philosophical Perspectives: Mind, Causation, and World, vol. 11, pp. 375–399. Blackwell Publishers, Malden (1997)
2. Burns, A., Hayes, I.J., Baxter, G., Fidge, C.J.: Modelling temporal behaviour in complex socio-technical systems. Technical Report YCS 390, University of York (2005)
3. Cucker, F., Smale, S.: On the mathematics of emergence. Japanese Journal of Mathematics 2, 197–227 (2007)
4. Derrick, J., Boiten, E.: Refinement in Z and Object-Z: Foundations and Advanced Applications. Springer, Heidelberg (2001)
5. Edmonds, B., Bryson, J.: The insufficiency of formal design methods — the necessity of an experimental approach for the understanding and control of complex MAS. In: International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), pp. 938–945. IEEE Computer Society, Los Alamitos (2004)