1. Alexander, C., Ishikawa, S., Silverstein: A Pattern Language: Towns, Buildings, Construction. Oxford University Press, Oxford (1977)
2. Hu, J.: Design of a Distributed Architecture for Enriching Media Experience in Home Theaters. Technische Universiteit Eindhoven (2006)
3. Duke, R., Rose, G.: Formal Object-oriented Specification using Object-Z. Macmillan Press Limited, London (2000)
4. Smith, G.: The Object-Z spectification language. In: Advances in formal methods, Kluwer Academic Publishers, Dordrecht (2000)
5. Bartneck, C., Hu, J., Salem, B., Cristescu, R., Rauterberg, M.: Applying virtual and augmented reality in cultural computing. International Joural of Virtual Reality 7(2), 11–18 (2008)