@INPROCEEDINGS {
	AUTHOR = "Benjamin Weyers and Wolfram Luther and Nelson Baloian and Jos{\'e} A. Pino",
	TITLE = "Formal Modeling of Multi-user Interfaces in Cooperative Work",
	EDITOR = "Valeria Herskovic and H. Ulrich Hoppe and Marc Jansen and Jurgen Ziegler",
	BOOKTITLE = "18th Collaboration Researchers' International Workshop on Groupware (CRIWG)",
	PAGES = "129-136",
	MONTH = "Sep",
	YEAR = "2012",
	ADDRESS = "Raesfeld, Germany",
	PUBLISHER = "Springer-Verlag",
	SERIES ="Lecture Notes in Computer Science",
	NUMBER = "7493",
	ISBN = "978-3-642-33283-8",
	}