M. Popovici, M. Muraru, A. Agache, C. Giumale, L. Negreanu, and C. Dobre. Proceedings of the 19th International Conference on Conceptual Structures (ICCS 2011), volume 6828 of Lecture Notes in Computer Science, page 215-228. Springer, (2011)
C. Scholliers, L. Hoste, B. Signer, and W. De Meuter. Proceedings of the Fifth International Conference on Tangible, Embedded, and Embodied Interaction, page 49--56. New York, NY, USA, ACM, (2011)
P. Pinheiro da Silva. Interactive Systems Design, Specification, and Verification, volume 1946 of Lecture Notes in Computer Science, Springer, Berlin / Heidelberg, (2001)
H. Galhardas, D. Florescu, D. Shasha, and E. Simon. SIGMOD '00: Proceedings of the 2000 ACM SIGMOD international conference on Management of data, page 590. New York, NY, USA, ACM Press, (2000)