Formal modeling of multi-user interfaces in cooperative work
Weyers, B., Luther, W., Baloian, N., & Pino, A. J. (2012). In V. Herskovic, U. H. Hoppe, M. Jansen, & J. Ziegler (Eds.), Collaboration and Technology: Proceedings (Vol. 7493, pp. 129–136). Springer Berlin Heidelberg.