1. Aceto L, Hennessy M (1993) Towards action-refinement in process algebras. Information and Computation 103:204
2. Baas N (1994) Emergence, hierarchies, and hyperstructures. In: Langton C (ed) Artificial life III, vol 17. Addison-Wesley, Reading, pp 515–537
3. Baianu I, Poli R (2010) From simple to super-and ultra-complex systems: a paradigm shift towards non-abelian emergent system dynamics. In: Theory and applications of ontology, vol 2
4. Bartocci E, Cacciagrano D, Di Berardini M, Merelli E, Tesei L (2010) Timed operational semantics and well-formedness of shape calculus. Scientific Annals of Computer Science 20:33–52
5. Bartocci E, Corradini F, Di Berardini M, Merelli E, Tesei L (2010) Shape calculus. A spatial mobile calculus for 3D shapes. Scientific Annals of Computer Science 20:1–31