P. Pinheiro da Silva. Interactive Systems Design, Specification, and Verification, volume 1946 of Lecture Notes in Computer Science, Springer, Berlin / Heidelberg, (2001)
T. Hamann, G. Hübsch, and T. Springer. Distributed Applications and Interoperable Systems, volume 5053 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2008)
K. Sousa, H. Mendonça, and J. Vanderdonckt. Task Models and Diagrams for User Interface Design, volume 5963 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2010)
Y. Cui, and C. Penstein Rosé. Intelligent Tutoring Systems, volume 5091 of Lecture Notes in Computer Science, chapter 107, Springer-Verlag, Berlin/Heidelberg, (2008)
K. Sousa, H. Mendonça, and J. Vanderdonckt. Task Models and Diagrams for User Interface Design, volume 4849 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2007)
A. Pintus, F. Paternò, and C. Santoro. WEBIST 2010, Proceedings of the 6th International Conference on Web Information Systems and Technologies, Volume 2, page 175--180. (2010)