M. Costa, D. Gomes, F. Couto, and M. Silva. Proceedings of the 22nd International Conference on World Wide Web Companion, page 1045--1050. Republic and Canton of Geneva, Switzerland, International World Wide Web Conferences Steering Committee, (2013)
P. Pinheiro da Silva. Interactive Systems Design, Specification, and Verification, volume 1946 of Lecture Notes in Computer Science, Springer, Berlin / Heidelberg, (2001)